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
[Caml-list] installing caml-light
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-06-19 (05:59)
From: William Lovas <wlovas@s...>
Subject: Re: [Caml-list] installing caml-light
Hi Marco,

On Fri, Jun 18, 2004 at 04:44:00PM +0000, Marco Maggesi wrote:
> The only reason I have to compile Caml-light is that I would like to
> give a try to HOL-light, the prover of John Harrison.  How hard is to
> translate a Caml-light program into an OCaml program?

You might be interested in the last question answered at

entitled, "How hard is it to convert code from Caml Light to Objective
Caml?"  It even has a pointer to an automatic translator!

Hope this helps.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: