From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id CFE0E5D5 for ; Tue, 14 Dec 2021 13:06:19 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,205,1635199200"; d="scan'208,217";a="10882504" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Dec 2021 14:06:18 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8BDA7E01A9; Tue, 14 Dec 2021 14:06:18 +0100 (CET) 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 BAEEDE00D1 for ; Tue, 14 Dec 2021 14:06:16 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e.mdorel@gmail.com; spf=Pass smtp.mailfrom=e.mdorel@gmail.com; spf=None smtp.helo=postmaster@mail-pl1-f172.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AiU3YTBFzyhpE74KLwmyxZ51Gf0VLhN3EVzX9CrI?= =?us-ascii?q?Zgr5DOp6u447ldBSGo6k31RmZAs6CsrptsKn/i+jYQ2sO4JKM4jgpUadncFs7s?= =?us-ascii?q?/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQp?= =?us-ascii?q?yO+/5BpPeg9642uys5pHfeQZFiTiybb9vMRm9sBncuNQRjYZ+MKg61wHHomFPe?= =?us-ascii?q?+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4TadFDDs9KGA6+NfrtRj?= =?us-ascii?q?YQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0yVD+/7alkVQXoh?= =?us-ascii?q?T8IOD4j8G/ZhM9+gr9Frh29vBFw2ZLYbZuPOfZiYq/Qf9UXTndBUMZLUCxBB5u?= =?us-ascii?q?xYYQVD+oAPuZTso7zqEEUrRuiBAmsAvrjxDFPhn/sw6I61/kqHAbY0wA6GtIBr?= =?us-ascii?q?XPUrM/rO6cWSu21w6zIwi/Cb/NSwzvy9I/IchU4rPyKQLl/ftbfx1M1GAPZklW?= =?us-ascii?q?ft5blPzWN2+gQsmWW6/RsWf6ghmM6tQx8vzahy8MyhoXXgo8YzlLJ+CpkzYsoK?= =?us-ascii?q?tC1VUp2bNqgHZZUuS+WKpZ7T8M/Tm9nuSs3zKANt5C8fCgP0psnxhjfZuSAc4e?= =?us-ascii?q?U+B3jUeKRLS5jhHJrYr6/gAyy8Ue4xu37Ssa7ylNKri5fntnLrHAN2ATf6seGS?= =?us-ascii?q?vth/kehxC2A2xrP5eFDJEA4ja/bJIQ7wr4sl5oTt13PETLxmEXskqCWcl8o+u+?= =?us-ascii?q?y6+ToZLjtu5ySN5dshw3gLqgjntazDOc4PwQUQWSX5Oux2Kf+8UD7XrlHiOA9n?= =?us-ascii?q?LPDv5DAP8sbo7a0Aw9L3YYn7BayFzKm384ZnXkDNV5FYBaHg5XwN1HAPfz1D+m?= =?us-ascii?q?zj06jkDdswPDGMbnhDYvXInffl7fheK5x609ayAUt0dBS/4xYBq0FLf7pWUL8t?= =?us-ascii?q?MbUAgEkPwG72errFddw2p0GVWKKGKCZMafSsVGS5uIoJumBfJEatCz4K/c44P7?= =?us-ascii?q?ul2E2mVsGcKmm2JsYcnG4HvB8L0qFZnrsh88NEX0WsQomUOzqlFqCXCZPaHmoW?= =?us-ascii?q?qI84ig3CIanDYfYWoCgm6eB3Se+Hp1OfG9KEFGMEXHyd4WFQfgAciySItUy2gA?= =?us-ascii?q?DALOoTotk0RC1qCf7zaBmJ6za4H4iuIrnxeRysuDJlBJ08DVuE8Wblm2KVWxwt?= =?us-ascii?q?m4OXHoyzad550tnxQSty6991tFCFN8bwvpTTgY8cLLb1eF+Q4T/HAfNec2ETH6?= =?us-ascii?q?pR9ynBXc6SddnkIxGWFp0B9j31kOL5CGtGbJAz9Rj5bQx+6PYmmD1foNzkimck?= =?us-ascii?q?qYmiFYiT41EMmj03saXGCDcAofIlwOSkKP4LMz0OQbC8W6CySyFu0QKCGZN?= IronPort-Data: =?us-ascii?q?A9a23=3AOOtp76PbfQekPYfvrR3GlsFynXyQoLVcMsFnjC/?= =?us-ascii?q?WdQHt0DJz3mNTnGFMWG6Oaf2OYzCnc4wkPovi/EhSvZaBv4NqS1BcGVNFHysb8?= =?us-ascii?q?5KdbTi6Bh6tZH3KdpWroHqKXqzyU/GYRCwPZiKa9kfF3oTJ9yEmjPjSH+akUoY?= =?us-ascii?q?oBwgoLeNaYHd54f5cs7Vh6mJYqYDR7zKl4bsekeWHULOW82Ic3lYv1k62gEgHU?= =?us-ascii?q?MIeF98vlgdWifhj5DcynpSOZX4VDfnZw3DQGuG4EgMmLtsvwo1V/kuBl/ssIta?= =?us-ascii?q?sk7K+aklTB7CLYlLIhX1RVKyvxBNFo0Te0I5hbKtaORoR0WzV2Ykukr2htrToI?= =?us-ascii?q?estFqCKnegaSRRcOy57NKxCvrTAJBBTtOTClxWXKhMAxN03VB1sVWECwc58CGR?= =?us-ascii?q?KsPgZMywldQGGn+vwwbShS+AqiN5LESVBFJdH7ysmkiWAWK5gGYSZFv2Mv44Jh?= =?us-ascii?q?SNr05gIQOKBMuMHTRFqSDjARzxGHGsNLKw/ufPx3iykN2QAvDp5voIy6mnXiRR?= =?us-ascii?q?1if3jaYWPPNONQspRkwCToWeuwogwOTlCXPT39NZP2ijEai7zcSLHtEY6EbS58?= =?us-ascii?q?rtyhATWyDVMUlsZUly0pfT/gUm7Mz6aAyT45QJ2xZXeNmTyJjU+Y/F8iHGBtx8?= =?us-ascii?q?YHdFXFoXWLSmTn7HM7V/x6ncsF1Z8hR9PiCPybTMv316N2djuAFSDdZX9pW21r?= =?us-ascii?q?t+pkN95BcTZwaLuq8PJocvpLuQPeL0Osy8=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AJ4NheKxkMhWw4u8w+yBbKrPwFr1zdoMgy1kn?= =?us-ascii?q?xilNoHtuHvBw9vrAoB1/73TJYVkqNk3I9ergBEDjewK+yXcF2+ks1N6ZNWGN1V?= =?us-ascii?q?dAR7sSj7cKrQeQfBHWx6pw0rphbrg7KPCYNykdsS8i2njcLz/3+qjizJyV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQRAA8lbhhf6zWVdFaGQEBAQEBASsLB?= =?us-ascii?q?gEBAQEBAQEBAQEBAQIBAQEBAQEBAQEBAYFwgToCAQEBAQEBgRZMVjsxhEeBHo9?= =?us-ascii?q?1gwyIB4EPiECHfQyBXAsBAwENEgEBIwoEAQGCEYJ1gykCHQcBBDQTAQIEFQEBB?= =?us-ascii?q?QEBAQIBAwMEARMBAQ0LEAgyJIVoDYI1IoQEER0BGxENAxIJBzcCIAMBAREBBQE?= =?us-ascii?q?1FA6CU4JkAQMvD6Bpgh+BBD2DXYdVgRUFF4EBggkGgT8BAwOBAYICChkoDWmBV?= =?us-ascii?q?wIHEoEmAgEBAQEBAQEBhgKBIAEBgR6FaCeCKYEVNoFzTwKCLgEBX0ICgSYFARI?= =?us-ascii?q?BTiCCS4JlBJQOGRcBIAINYU5qAh6HEopOUJZslHwpE1gHgyMgBYpgiCiGLIJbg?= =?us-ascii?q?xgzhTmiGpYtjH2DSpBWhRwQIxKBGSqBDXAzGiNQMYERGIEPCUgZD5IShRSFS0M?= =?us-ascii?q?wOAIGAQoBAQMJkHABAQ?= X-IPAS-Result: =?us-ascii?q?A0CQRAA8lbhhf6zWVdFaGQEBAQEBASsLBgEBAQEBAQEBAQE?= =?us-ascii?q?BAQIBAQEBAQEBAQEBAYFwgToCAQEBAQEBgRZMVjsxhEeBHo91gwyIB4EPiECHf?= =?us-ascii?q?QyBXAsBAwENEgEBIwoEAQGCEYJ1gykCHQcBBDQTAQIEFQEBBQEBAQIBAwMEARM?= =?us-ascii?q?BAQ0LEAgyJIVoDYI1IoQEER0BGxENAxIJBzcCIAMBAREBBQE1FA6CU4JkAQMvD?= =?us-ascii?q?6Bpgh+BBD2DXYdVgRUFF4EBggkGgT8BAwOBAYICChkoDWmBVwIHEoEmAgEBAQE?= =?us-ascii?q?BAQEBhgKBIAEBgR6FaCeCKYEVNoFzTwKCLgEBX0ICgSYFARIBTiCCS4JlBJQOG?= =?us-ascii?q?RcBIAINYU5qAh6HEopOUJZslHwpE1gHgyMgBYpgiCiGLIJbgxgzhTmiGpYtjH2?= =?us-ascii?q?DSpBWhRwQIxKBGSqBDXAzGiNQMYERGIEPCUgZD5IShRSFS0MwOAIGAQoBAQMJk?= =?us-ascii?q?HABAQ?= X-IronPort-AV: E=Sophos;i="5.88,205,1635199200"; d="scan'208,217";a="90091" X-MGA-submission: =?us-ascii?q?MDH2kRXoNIfoqOBqN5j6i5YBYyVUYPC5e8cw2u?= =?us-ascii?q?Z4Cfo0azDWSetkWRVzGzTU2Wt+pfU0MwcgJclnzPxoYZFnho4tq6MZlJ?= =?us-ascii?q?oNwQ1ois5hgYH4ZTFrcPt0lCIm75tY7Zh7DldRZkBFcP7wDfTIrRrapl?= =?us-ascii?q?JrrlvvZULtod0ZdAsmXgMl9A=3D=3D?= Received: from mail-pl1-f172.google.com ([209.85.214.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 14 Dec 2021 14:06:15 +0100 Received: by mail-pl1-f172.google.com with SMTP id p18so13476570plf.13 for ; Tue, 14 Dec 2021 05:06:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:reply-to:from:date:message-id:subject:to; bh=Plbq5AZTtZw3vbSu/lqAkK2HQXnEHiUiaoOr3IFQQNI=; b=C8isFQClXHCqMUdfSc4r87yHVO8mQ/+2UlwY30bKdyuJ1na1gQQBZskw9UJzmp9LiT Zi1pCJyv5OMaHifhtK09zKOBYTXLeWbpLvWGzJCGeMXCkbaWwCSn9JoNzJt7MHi2jjq/ eKDRmSCY3JpExkFO8KZcCuAI/Wdru1YodPFyodI8ntjUfF/XRGreTAPiPEeNzP5cynzL zikUHFIca15aitxW4awa7qy0/Du/H+dkHwLevO0vbhMwolh5+PyzDY1sZ7tyDisjzpRn qNlYayh5MrKo1Hnw/ioJgYVs0WGqjWe5uY5CN8rix615L19fRxOWrDcCfUV1gwEaGeu+ uOAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to; bh=Plbq5AZTtZw3vbSu/lqAkK2HQXnEHiUiaoOr3IFQQNI=; b=6t5plRTkVUqr1L3XmIiK6XDkndxu0qJImiLwJsH4nO4NRYLiCzciHdzJAFguV+c9B3 uR7VoT7de27WYLB0TkIyL+KykltT6MXw5UUIhJ2DPum08Yi7HVIMBSY5z7tl+ai0qw0h qJOHyNNV7i5uyCIoVTMVEsOXvMVu6IPUTvGrgguV5/Dc/MmMdB9uYOUTDcrGic7gU73C kmUxriCpV5N5Zx3NxmGZVYhdsd+YRbgRMRb1566Ffvetv74UAUHinQqRq3EdNvg+lAS1 jMuzB/v46hGTWY3g1GJoebl33qwtMB8vAzHcvGup6x3M8Q5/xTGJ/n/K1bKJKGBmBxa8 Mrvw== X-Gm-Message-State: AOAM531gSl3I9DZokGwWhWAdm6CjSAzSUUEQv5JAVmbUZj+FNMjP2+Qb VUy5tmXVyAK7xnj/BRko0TO/UB1ZcTbJJDJg0DfycAhmyZqhYw== X-Google-Smtp-Source: ABdhPJwrp9oHv86nuleBfGGa0l8cIWw7dMFJt1MvSUrJFnfmOVzyo3aZzsf+j36Oh3x5faGrmmrtWPzCqNL+zwtvTyM= X-Received: by 2002:a17:903:32c2:b0:141:eed4:ec0a with SMTP id i2-20020a17090332c200b00141eed4ec0amr5344112plr.74.1639487162512; Tue, 14 Dec 2021 05:06:02 -0800 (PST) MIME-Version: 1.0 Reply-To: erik.martin-dorel@ens-lyon.org From: Erik Martin-Dorel Date: Tue, 14 Dec 2021 14:05:51 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000ef77fd05d31ad965" Subject: [Caml-list] Are you teaching using the Learn-OCaml platform? X-Loop: caml-list@inria.fr X-Sequence: 18628 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --000000000000ef77fd05d31ad965 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear caml-list, The OCaml Software Foundation is developing the teaching platform Learn-OCaml that provides auto-graded exercises for OCaml, and was initially authored by OCamlPro for the OCaml MOOC: https://ocaml-sf.org/learn-ocaml/ The platform is free software and easy to deploy; this is great, but as a result we keep learning of users/deployments that we had no idea of. We would be interested in having a better view of our user-base. If you use Learn-OCaml as a teacher, could you answer this email (To: e.mdorel@gmail.com) and let us know? Ideally we would like to know: - Where are you using Learn-OCaml? =E2=86=92 in which university (in a specific course?), or in which company,= online community or =E2=80=A6 ? - How many students/learners use your deployment in a year? Also FYI: - For an example of Learn-OCaml instance, see https://discuss.ocaml.org/t/interesting-ocaml-exercises-from-francois-po= ttier-available-online/7050 - Last October we had a 0.13.0 release, full of new features: https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/8= 577 - For any question related to Learn-OCaml, feel free to create a discussion topic on https://discuss.ocaml.org/ , category Community, tag *learn-ocaml*. - And if need be, opening an issue in https://github.com/ocaml-sf/learn-ocaml/issues if of course warmly welcome as well. Kind regards, Erik Martin-Dorel for the Learn-OCaml team --=20 =C3=89rik Martin-Dorel http://erik.martin-dorel.org/ --000000000000ef77fd05d31ad965 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Dear caml-list,

The OCa= ml Software Foundation is developing the teaching platform Learn-OCaml that= provides auto-graded exercises for OCaml, and was initially authored by OC= amlPro for the OCaml MOOC: ht= tps://ocaml-sf.org/learn-ocaml/

The platform is free software an= d easy to deploy; this is great, but as a result we keep learning of users/= deployments that we had no idea of. We would be interested in having a bett= er view of our user-base. If you use Learn-OCaml as a teacher, could you an= swer this email (To: e.mdorel@gmail.c= om) and let us know?

Ideally we would like to know:

- Where are you using Learn-OCaml?
=E2=86= =92 in which university (in a specific course?), or in which company, onlin= e community or =E2=80=A6 ?
- How many students/learners use y= our deployment in a year?

Also FYI:
K= ind regards,
Erik Martin-Dorel for the Learn-OCaml team

-- <= br>
--000000000000ef77fd05d31ad965--