Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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