Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
doc:veille:ocaml [2008/02/21 22:13] lehobey |
doc:veille:ocaml [2017/12/09 21:56] fdl Transféré vers veille:ocaml. |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== OCaml ====== | ====== OCaml ====== | ||
* [[Coq]] | * [[Coq]] | ||
+ | |||
+ | * http://fr.wikipedia.org/wiki/OCaml | ||
+ | * http://caml.inria.fr/ | ||
* http://www.ocaml.info/home/home004.html | * http://www.ocaml.info/home/home004.html | ||
Ligne 6: | Ligne 9: | ||
* http://oandrieu.nerim.net/ocaml/ | * http://oandrieu.nerim.net/ocaml/ | ||
+ | * http://ocamlcore.org/ | ||
+ | * http://planet.ocamlcore.org/ | ||
===== Debian ===== | ===== Debian ===== | ||
Ligne 11: | Ligne 16: | ||
* http://sockmel.bononia.it/~zack/ocaml-debian-status/debian-ocaml-status.html | * http://sockmel.bononia.it/~zack/ocaml-debian-status/debian-ocaml-status.html | ||
* OCamlMeeting : http://le-gall.net/sylvain+violaine/blog/index.php?2008/01/30/36-ocamlmeeting-in-paris-debian-summary | * OCamlMeeting : http://le-gall.net/sylvain+violaine/blog/index.php?2008/01/30/36-ocamlmeeting-in-paris-debian-summary | ||
+ | * http://upsilon.cc/~zack/blog/posts/2008/10/ocaml_batteries_included_debian_packages/ | ||
+ | * http://le-gall.net/sylvain+violaine/blog/index.php?2010/09/01/64-ocaml-312-with-debian-sid-right-now | ||
===== Ubuntu ===== | ===== Ubuntu ===== | ||
Ligne 21: | Ligne 28: | ||
* C'est étonnant : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/6e83e1402491f4151460283da524da6c.fr.html | * C'est étonnant : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/6e83e1402491f4151460283da524da6c.fr.html | ||
* Appel à bonnes volontés : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/512dd07b948282ba0b1bea7027112c5c.fr.html | * Appel à bonnes volontés : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/512dd07b948282ba0b1bea7027112c5c.fr.html | ||
+ | |||
+ | ===== Réunions ===== | ||
+ | * http://le-gall.net/sylvain+violaine/blog/index.php?2009/01/23/49-ocaml-meeting-2009-subscription-about-to-end |