From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 060197FD91 for ; Tue, 9 Feb 2016 12:07:12 +0100 (CET) IronPort-PHdr: 9a23:KwTd6RH/Qy60Gvpw+WlygZ1GYnF86YWxBRYc798ds5kLTJ75oc2wAkXT6L1XgUPTWs2DsrQf27WQ6PirAzZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbpo9aJOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+BHS6r3c+wYcYBgN3xmbzh0t4XXskzIRA6Lo38dSXk+kxxSAgGD4gupcI32t37Qu+x/0SybO4XdRLYzRHz25aptShbtiSFBPDc/93z/hcl5jaYdqxWk8U8si7XIaZ2YYaItNpjWeskXEDYZUw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=benjamin.canou@gmail.com; spf=Pass smtp.mailfrom=benjamin.canou@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f48.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of benjamin.canou@gmail.com) identity=pra; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benjamin.canou@gmail.com"; x-sender="benjamin.canou@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of benjamin.canou@gmail.com designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benjamin.canou@gmail.com"; x-sender="benjamin.canou@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benjamin.canou@gmail.com"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CyAAD8xrlWkTBSfUpehAxtiFyfMYcSiD6CEwENgWYXAQmFbAKBOTgUAQEBAQEBAQEQAQEBAQcLCwkfMIItghUBAQQSLgEbHAIDDAYJAQYWFg8JAwIBAgEREQEFARwTCAIeh2MBAxIOoSmBMT4xjR2CV4UQChknDVGDfgEBAQEGAQEBAQEVAQUKBIYEiTWBfAtAgScFlneFTIgEiRMOhVACjQMvgQ0eAQGCDioegVFpAYhSAQEB X-IPAS-Result: A0CyAAD8xrlWkTBSfUpehAxtiFyfMYcSiD6CEwENgWYXAQmFbAKBOTgUAQEBAQEBAQEQAQEBAQcLCwkfMIItghUBAQQSLgEbHAIDDAYJAQYWFg8JAwIBAgEREQEFARwTCAIeh2MBAxIOoSmBMT4xjR2CV4UQChknDVGDfgEBAQEGAQEBAQEVAQUKBIYEiTWBfAtAgScFlneFTIgEiRMOhVACjQMvgQ0eAQGCDioegVFpAYhSAQEB X-IronPort-AV: E=Sophos;i="5.22,420,1449529200"; d="scan'208,217";a="164014428" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Feb 2016 12:07:11 +0100 Received: by mail-wm0-f48.google.com with SMTP id g62so18278444wme.0 for ; Tue, 09 Feb 2016 03:07:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:references:from:to:message-id:date:user-agent:mime-version :in-reply-to:content-type; bh=0LvNFzB8WG65EnwvNWgVeucOvS4oj3FUzTsM/7eERlI=; b=lv1wFNLK1UvT1OSHmThIhxKahwaWptpPBtKsbXz49QiAE8NR5rq1hMlQEibO66qIFA /xSZshBYrkO+zwT0ew0hFzjNVkNhbYKFPHe7BTR2WzyquP4zefhG/6BEx8kSo0Hm+VOV lsSVT5Pk5IWahTHIFpP2H5dcl8fsfyExwjVppqT3sCrIfCgL92C48ZsVpxpLNq8t8504 UxKddWkjzWuSvY/WDBcV99DqZB+KU+svaPCOdQGkBH5uPfHK4/gfNvhb4PEPX1oaaEJK WVY4JiKl1ZX9wH851CrZm9zWD9fS0dcPW3ixigNJlcv7hnxahqGynAxb/D3MqlFmqUA9 RJHg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:references:from:to:message-id:date :user-agent:mime-version:in-reply-to:content-type; bh=0LvNFzB8WG65EnwvNWgVeucOvS4oj3FUzTsM/7eERlI=; b=Kk3MxzXsZSGSb+sB1VuBy1/l4Db6KXol3nYZtfc7zo56QPjVMLYeia5RYtAERm1EKY iak1zTC0BlQufJWzrCaexD/d/JmOwohLCPyYrwQ5vjkoF/84prIpl24sH/iCr5b6gKAi lkiPL7BWXF97S3OJUjtlW+fB0m3MTXiiXDhIRaHEp1FPO06I85uv6HNghcN1V/dt3Yv+ /B4MELOMhRWUd08qNDKSX49V4Q4GmWcr6EeQDyRVACdEeeQv+8YVKsfe1DwjrJ/5L/gV gierKgOoi7AuL8hpMvc0Lv2YOAU8EaK/HQiZ5kWB9W+WXnVtr1pu5r3H7JNViI5++vSf LRiA== X-Gm-Message-State: AG10YOSBliTOxtZatQCi/zrfVdY12mUxGsLiovBQ1hv/VXpDm/Mdt9XixsFmyz1fbtN9Dw== X-Received: by 10.28.32.147 with SMTP id g141mr4127884wmg.19.1455016031106; Tue, 09 Feb 2016 03:07:11 -0800 (PST) Received: from [134.157.22.149] ([134.157.22.149]) by smtp.googlemail.com with ESMTPSA id ka4sm34180367wjc.47.2016.02.09.03.07.10 for (version=TLSv1/SSLv3 cipher=OTHER); Tue, 09 Feb 2016 03:07:10 -0800 (PST) References: <56A4CF3C.5080306@canou.fr> <20160124221911.GA4855@melquiades> From: Benjamin Canou To: caml-list@inria.fr Message-ID: <56B9C85A.2020908@gmail.com> Date: Tue, 9 Feb 2016 12:07:06 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.5.0 MIME-Version: 1.0 In-Reply-To: <20160124221911.GA4855@melquiades> Content-Type: multipart/alternative; boundary="------------030708050609050007080102" Subject: [Caml-list] [ANN] Source code for the OCaml-MOOC exercise environment This is a multi-part message in MIME format. --------------030708050609050007080102 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Hi all, We just released the source code of the exercise environment that OCamlPro developed for the first session of the OCaml MOOC. It includes the whole platform (code editor, toplevel, automatic grader), and a few demo exercises. You can download the source (mostly LGPLv2, some parts under GPLv2): https://try.ocamlpro.com/fun-demo/tryocaml-fun.tgz We also put a standalone demo in which you can try a few exercises: **https://try.ocamlpro.com/fun-demo/tryocaml_index.html More details are available here: https://try.ocamlpro.com/fun-demo/ Regards, Benjamin Canou. --------------030708050609050007080102 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: 7bit 
Hi all,

  We just released the source code of the exercise environment that
OCamlPro developed for the first session of the OCaml MOOC.

It includes the whole platform (code editor, toplevel,
automatic grader), and a few demo exercises.

You can download the source (mostly LGPLv2, some parts under GPLv2):

  https://try.ocamlpro.com/fun-demo/tryocaml-fun.tgz

We also put a standalone demo in which you can try a few exercises:

  https://try.ocamlpro.com/fun-demo/tryocaml_index.html

More details are available here:

  https://try.ocamlpro.com/fun-demo/

Regards,
Benjamin Canou.
--------------030708050609050007080102--