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 sympa.inria.fr (Postfix) with ESMTPS id E2B6B7EFCD for ; Sun, 9 Nov 2014 21:08:10 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4HAH3IX1QFmeEz/2dsb2JhbABbgw5UEgNEy2IKiGAWAQEBAQF9hAQGAQE3NEtIATUBEohFCcx8CwEBAQEBHJFKgn+BHgWXBIQZgwiBND2DEoJ3jmaDemyCSwEBAQ X-IPAS-Result: Ah4HAH3IX1QFmeEz/2dsb2JhbABbgw5UEgNEy2IKiGAWAQEBAQF9hAQGAQE3NEtIATUBEohFCcx8CwEBAQEBHJFKgn+BHgWXBIQZgwiBND2DEoJ3jmaDemyCSwEBAQ X-IronPort-AV: E=Sophos;i="5.07,347,1413237600"; d="scan'208";a="105854950" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Nov 2014 21:08:09 +0100 Received: from [192.168.1.39] (cpc7-cmbg14-2-0-cust238.5-4.cable.virginm.net [86.30.244.239]); by bark.recoil.org (OpenSMTPD) with ESMTPSA id 2e878580; TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NO; Sun, 9 Nov 2014 20:11:54 +0000 (GMT) From: Anil Madhavapeddy Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <947F9D08-A161-4F7D-9DBD-9F408F94724E@recoil.org> Date: Sun, 9 Nov 2014 20:08:05 +0000 To: teaching@lists.ocaml.org, caml users Mime-Version: 1.0 (Mac OS X Mail 8.0 \(1990.1\)) X-Mailer: Apple Mail (2.1990.1) Subject: [Caml-list] New list for educators: teaching@lists.ocaml.org Dear Caml-list, There have been several requests from professors who are teaching OCaml in = schools and universities to have a forum to discuss issues relating to usin= g OCaml in an educational context. I have created the mailing list for this purpose: Subscription: http://lists.ocaml.org/listinfo/teaching Web Archives: http://lists.ocaml.org/pipermail/teaching/ There is an informal wiki that is gathering information for eventual import= ing to OCaml.org here: https://github.com/ocaml/ocaml.org/wiki/OCAML-Teaching-Resources (and the associated pull request: https://github.com/ocaml/ocaml.org/pul= l/565) If you would like to contribute, please free to join the list by following = the first link, or contribute pointers to useful teaching resources at the = wiki or OCaml.org site. In particular, if you teach a course and don't min= d being publicly listed, adding yourself to the index helps other people wh= o are considering using OCaml. As a reminder, anyone can request a mailing list on lists.ocaml.org if it i= s relevant to the OCaml language or ecosystem. Just drop a line to me or t= o for more information. best, Anil=