Outils pour utilisateurs
doc:veille:ocaml
Différences
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/02 18:14] lehobey |
— (Version actuelle) | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== OCaml ====== | ||
| - | * [[Coq]] | ||
| - | * http://www.ocaml.info/home/home004.html | ||
| - | * http://www.ffconsultancy.com/products/ocaml_for_scientists/ | ||
| - | * http://oandrieu.nerim.net/ocaml/ | ||
| - | |||
| - | ===== Debian ===== | ||
| - | * 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 | ||
| - | |||
| - | ===== Ocaml a besoin d'architecture Sparc / Solaris ===== | ||
| - | * Demande originelle sur Solaris : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/c26616257442855aa210ed81eacdcc5b.fr.html | ||
| - | * Il existe une adaptation : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/6d13f8883130791e8281f2c71495fc88.fr.html | ||
| - | * Elle n'est pas intégrée dans le développement officiel parce que les développeurs n'ont pas de machine Sparc : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/bf56bf98409e95ba11001c78edc87a65.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 | ||
doc/veille/ocaml.1201972456.txt.gz · Dernière modification: 2008/02/02 18:14 par lehobey
Outils de la page
