From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 69C6E7EC6E for ; Sun, 29 Dec 2013 15:55:26 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of avsm2@cl.cam.ac.uk) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="avsm2@cl.cam.ac.uk"; x-sender="avsm2@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of avsm2@cl.cam.ac.uk) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="avsm2@cl.cam.ac.uk"; x-sender="avsm2@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="avsm2@cl.cam.ac.uk"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcBAAY3wFJZELGal2dsb2JhbABYg0OlfpQmgTQOAQEBAQEIFgc8gmaBfYgbCaANo3OFH5JHgRMEmUeUETw X-IPAS-Result: AjcBAAY3wFJZELGal2dsb2JhbABYg0OlfpQmgTQOAQEBAQEIFgc8gmaBfYgbCaANo3OFH5JHgRMEmUeUETw X-IronPort-AV: E=Sophos;i="4.95,569,1384297200"; d="scan'208";a="42704389" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 29 Dec 2013 15:55:25 +0100 Received: (qmail 18628 invoked by uid 634); 29 Dec 2013 14:55:24 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from cpc2-belf1-0-0-cust23.2-1.cable.virginm.net (HELO [10.0.1.15]) (82.29.224.24) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Sun, 29 Dec 2013 14:55:23 +0000 From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Sun, 29 Dec 2013 14:55:23 +0000 To: Ocaml Mailing List Message-Id: <9B69CA00-E3AB-4DCE-95D9-7E04E5F5DE38@cl.cam.ac.uk> Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1812\)) X-Mailer: Apple Mail (2.1812) X-Virus-Checked: Checked by ClamAV on dark.recoil.org X-Validation-by: anil@recoil.org Subject: [Caml-list] OCaml Labs activities in 2013 Dear caml-list, We've put together a review of most of the activities that we've done at OC= aml Labs in Cambridge during our first year in 2013, available at: http://anil.recoil.org/2013/12/29/the-year-in-ocamllabs.html This will also be mirrored at the OCaml Labs homepage: http://www.cl.cam.ac.uk/projects/ocamllabs/ Thanks again to all our collaborators for making this such a productive and= enjoyable 2013, and we wish everyone a happy and prosperous 2014. -Anil=