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
BDD reloaded
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-11-12 (16:15)
From: Alain Frisch <alain@f...>
Subject: Re: [Caml-list] BDD reloaded
Pietro Abate wrote:
> + Do you know if there is an ocaml binding for buddy ? 
> = I guess no, but I hope I'm wrong...

I believe that Akihiko Tozawa wrote such a binding for his XSLT0 
typechecker. You should check with him.

-- Alain