English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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 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