Version française
Home     About     Download     Resources     Contact us    
Browse thread
omega 2 camllight
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Rouaix <Francois.Rouaix@i...>
Subject: Re: omega 2 camllight
> Does exist a caml library to  interface camllight and the omega calculator (William Pugh) ?

No, we have not heard of such a thing. I guess the main problem would be to
interface C++ library code with the C Caml Light runtime...

--
Francois.Rouaix@inria.fr                   Projet Cristal - INRIA Rocquencourt
WWW Home Page: http://pauillac.inria.fr/~rouaix/