On Wed, Jun 13, 2001 at 02:04:06PM -0700, David Gurr wrote:
> > Are there any better tutorials on ML 
> 
> I assume you mean Caml rather than SML

Actually, I did mean SML, as I think there are probably a few more intro
tutorials there, that could be borrowed from, and translated to OCaml.  Of
course, doing so is a bit over my head, as I'm fluent in neither.  Just a
thought.

> The intro in the HOL-Light manual is quite good.  Also quite good is:
> 
> http://cristal.inria.fr/~remy/isia/

Hm, I don't know French, but the OCaml manual is surely one of the targets
I have in mind when I gripe about inaccessible documentation. :)

Do you have a link to the HOL-Light manual?

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr