Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

ocaml_resources [2007/03/31 17:44]
vkuncak
ocaml_resources [2007/04/04 17:01] (current)
test
Line 5: Line 5:
  
   * http://​www.csc.villanova.edu/​~dmatusze/​resources/​ocaml/​ocaml.html is a good crash-course in basic of OCaml. At the bottom of the file you are going to find pointers to the official OCaml manual and also to an introductory course given at UPenn.   * http://​www.csc.villanova.edu/​~dmatusze/​resources/​ocaml/​ocaml.html is a good crash-course in basic of OCaml. At the bottom of the file you are going to find pointers to the official OCaml manual and also to an introductory course given at UPenn.
 +
 +  * Emacs mode http://​www-rocq.inria.fr/​~acohen/​tuareg/​ for Ocaml.
  
 
ocaml_resources.txt · Last modified: 2007/04/04 17:01 by test
 
© EPFL 2018 - Legal notice