[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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