-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

That's really cool, subscribed.

Are you planning to make a Coq MOOC in the future?

On 07/22/2015 01:55 PM, Roberto Di Cosmo wrote:
> We are very pleased to announce the massive, open, online course
>
>   Introduction to Functional Programming in OCaml
>
> the first MOOC entirely devoted to our beloved OCaml programming language.
>
> All the information on the course, including a teaser video, is
available at
>
>
https://www.france-universite-numerique-mooc.fr/courses/parisdiderot/56002/session01/about
>
> The course is in english, starts from the basics, and goes on for
seven weeks up
> to the module system.
>
> An interactive exercise environment will allow to do the exercises in the
> browser, with an online evaluation integrated in the learning system;
as you
> expect, this is based on tryocaml and js_of_ocaml, and is a unique
> distinguishing feature of this MOOC.
>
> The learning platform happens to be called FUN (yes, great to have fun
with
> functional programming :-)), that is a variant of Open EdX run by the
french
> ministry of education.
>
> The registration is open, and the course will start on October 19th.
>
> We finally have a MOOC on OCaml, a great tool to bring functional
> programming and our preferred programming language to a wide audience:
> now, let's tell the world! Use your social networks, mailing lists,
> professional and non professional conferences to spread the world.
>
> And see you soon for our first course :-)
>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJVr9IrAAoJEEcm35UR4K8f7+8QAIrUgjVxB42pc90cPt2Wpt0n
HyoY7hyW1o506ZUsu6WyTSMfpaHWsE+MdMJtMhyOeN0Ymi8Cmheo+N8s/qBYPpeX
ppPafcT2HmlIiqNVDjIs947uUk5jVkkA1Kwf4e6ox+wFbhk+zKyb8liEwHKlhKac
LRP/wHRrPkLywFoyUs+CW2VsCSeDooS8JAhTxlrnXm47b7u7sfIVfzA/Tc4lJGPY
9ZxxSbmv4C5EV2jDC9BRYy1qKwqOX18H+VPbAi5848xz88a/yF4XAVp8gWkMUOio
wRt9xHYj1SC3f+A1TttVEIwFxFXhLdh8rtQA2oUn7BC6SM7HTxkXn1EcVTQxOn9g
I+hCJTwnyczbP1S2FrhiyBH3l48rV+demX64lbHbnUHF51xLdqLxGboJY9kFaNSZ
BLZsJEbz4kr+mq7iYRfNMFZMnPDq10aOm6lPgLo+b66twRGaoxDMRtbKqMO4bbiN
W/2pcO8opyrBnJO/MYwqaTkwTdMKQ+8JXa4OdrL2/Ga3/rSVd7rzsE/0+VjbAJXj
vtD9pazUBM1hp3Q6awZ/d1a45I/z50wFaLMjHocE/FQCyfbZf+wVt3HimvoiveaR
N70d6mB111UK/UWZeQqcqz/4nbMRd4deqjIAvHDOJUPshmeIca/FFHZ2hWp6rEAj
UKVAe9+pnGB/6+3nzKdz
=dF2x
-----END PGP SIGNATURE-----

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs