omega 2 camllight

Franck Delaplace (delapla@lami.univ-evry.fr)
Thu, 6 Jul 1995 14:07:56 +0200

Message-Id: <199507061207.OAA00473@smetana.lami.univ-evry.fr>
Date: Thu, 6 Jul 1995 14:07:56 +0200
From: Franck Delaplace <delapla@lami.univ-evry.fr>
To: caml-list@pauillac.inria.fr
Subject: omega 2 camllight

Does exist a caml library to interface camllight and the omega calculator (William Pugh) ?