Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: [Caml-list] ocaml complexity
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-06-13 (23:13)
From: leary@n...
Subject: Re: [Caml-list] ocaml complexity
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

> The intro in the HOL-Light manual is quite good.  Also quite good is:

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:  FAQ:
To unsubscribe, mail  Archives: