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 WAA06357; Mon, 31 Dec 2001 22:52:09 +0100 (MET) 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 WAA05955 for ; Mon, 31 Dec 2001 22:52:08 +0100 (MET) Received: from sol.wwwnexus.com (sol.wwwnexus.com [209.150.128.86]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id fBVLq7H16999 for ; Mon, 31 Dec 2001 22:52:07 +0100 (MET) Received: from developer1-2k.einfo.com (12-234-40-136.client.attbi.com [12.234.40.136]) by sol.wwwnexus.com (8.11.6/8.11.6) with ESMTP id fBVLq6k07279 for ; Mon, 31 Dec 2001 15:52:06 -0600 Message-Id: <5.1.0.14.2.20011231135432.02ec0b30@einfo.com> X-Sender: einfo@einfo.com X-Mailer: QUALCOMM Windows Eudora Version 5.1 Date: Mon, 31 Dec 2001 13:57:52 -0800 To: caml-list@inria.fr From: Byron Hale Subject: Re: [Caml-list] Kernel in OCAML using native compiler In-Reply-To: <20011220091616.22485.qmail@web10707.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk By the way, a young Asian mathematics teacher claims to have a trisection construction for the triangle. So, apparently, it wasn't completely foolish, just not so easy. Regards, Byron Hale At 01:16 AM 12/20/2001 -0800, you wrote: >Can anyone point me to any links concerning writing a >kernel in OCAML using the native compiler? Also, >please feel free to correct me if anyone feels that >this is similar to trying to trisect an angle (i.e. >completely foolish). > >Thanks for your patience, >-jj > >__________________________________________________ >Do You Yahoo!? >Check out Yahoo! Shopping and Yahoo! Auctions for all of >your unique holiday gifts! Buy at http://shopping.yahoo.com >or bid at http://auctions.yahoo.com >------------------- >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