From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA01186; Wed, 13 Jun 2001 23:10:51 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA00761 for ; Wed, 13 Jun 2001 23:10:50 +0200 (MET DST) Received: from ext-ch1gw-1.online-age.net (ext-ch1gw-1.online-age.net [216.34.191.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5DLAlT10312 for ; Wed, 13 Jun 2001 23:10:47 +0200 (MET DST) Received: from int-ch1gw-1.online-age.net (int-ch1gw-1 [3.159.232.65]) by ext-ch1gw-1.online-age.net (8.9.3+Sun/8.9.1/990426-RLH) with ESMTP id RAA19121; Wed, 13 Jun 2001 17:10:08 -0400 (EDT) Received: from uswaumsxb4medge.med.ge.com (localhost [127.0.0.1]) by int-ch1gw-1.online-age.net (8.9.3+Sun/8.9.1/990426-RLH) with ESMTP id RAA08815; Wed, 13 Jun 2001 17:10:08 -0400 (EDT) Received: by USWAUMSXB4MEDGE with Internet Mail Service (5.5.2653.19) id ; Wed, 13 Jun 2001 16:04:27 -0500 Received: from mrs.mrs.med.ge.com (MRS [3.57.196.1]) by uswaumsxbhmedge.med.ge.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id M6S23PZN; Wed, 13 Jun 2001 16:04:15 -0500 Received: (from gurr@localhost) by mrs.mrs.med.ge.com (8.9.3+Sun/8.9.3) id OAA08015; Wed, 13 Jun 2001 14:04:06 -0700 (PDT) From: David Gurr To: bpr@best.com, caml-list@inria.fr, leary@nwlink.com Date: Wed, 13 Jun 2001 14:04:06 -0700 (PDT) Message-Id: <200106132104.OAA08015@mrs.mrs.med.ge.com> Subject: Re: [Caml-list] ocaml complexity X-Sun-Charset: US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > From owner-caml-list@pauillac.inria.fr Wed Jun 13 13:36:15 2001 > From: leary@nwlink.com > To: Brian Rogoff , caml > X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f > Date: Wed, 13 Jun 2001 13:32:35 -0700 > Subject: Re: [Caml-list] ocaml complexity > Mime-Version: 1.0 > Content-Disposition: inline > User-Agent: Mutt/1.2.5i > > On Wed, Jun 13, 2001 at 08:21:27AM -0700, Brian Rogoff wrote: > > Perhaps we users should start writing > > tutorials, rather than asking INRIAns, as I'd rather that they work on > > growing the language. > > Aye. Would Michel Mauny be agreeable to having his "Functional > Programming Using Caml Light" be the starting point for a "Learning OCaml" > project, say on sourceforge? Are there any better tutorials on ML I assume you mean Caml rather than SML > that > might be borrowed from with permission? > > The intro in the HOL-Light manual is quite good. Also quite good is: http://cristal.inria.fr/~remy/isia/ > > ------------------- > 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 > ------------------- 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