Outils pour utilisateurs

Outils du site


doc:veille:ocaml

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
doc:veille:ocaml [2007/04/26 23: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/​ 
- 
-===== 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.1177622097.txt.gz · Dernière modification: 2007/04/26 23:14 par lehobey