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 CAA19748; Fri, 13 Aug 2004 02:16:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA20485 for ; Fri, 13 Aug 2004 02:16:21 +0200 (MET DST) Received: from mail2.speakeasy.net (mail2.speakeasy.net [216.254.0.202]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i7D0GJmL007307 for ; Fri, 13 Aug 2004 02:16:20 +0200 Received: (qmail 13775 invoked from network); 13 Aug 2004 00:16:16 -0000 Received: from dialup-4.242.24.14.dial1.seattle1.level3.net (HELO sherlock.localdomain) (shawnw@[4.242.24.14]) (envelope-sender ) by mail2.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 13 Aug 2004 00:16:16 -0000 Received: by sherlock.localdomain (Postfix, from userid 502) id 53937FD16; Thu, 12 Aug 2004 17:09:40 -0700 (PDT) Date: Thu, 12 Aug 2004 17:09:40 -0700 From: Shawn Wagner To: caml-list@inria.fr Subject: Re: [Caml-list] Constants Message-ID: <20040813000940.GD551@speakeasy.org> Mail-Followup-To: caml-list@inria.fr References: <200408122021.13981.jon@jdh30.plus.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200408122021.13981.jon@jdh30.plus.com> User-Agent: Mutt/1.4.2i X-Miltered: at nez-perce with ID 411C0853.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; shawnw:01 caml-list:01 constants:01 2004:99 constants:01 raevnos:01 pennmush:01 shawnw:01 ocaml:01 speakeasy:01 speakeasy:01 module:03 module:03 wrote:03 library:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Aug 12, 2004 at 08:21:13PM +0100, Jon Harrop wrote: > > Am I correct in thinking that pi is not defined in the OCaml core library? > Does anyone have a module of constants already? If not I'll knock one up... A module defining pie pi and a bunch of others are included in mathlib: http://raevnos.pennmush.org/code/mathlib/ -- Shawn Wagner shawnw@speakeasy.org ------------------- 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/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners