Date: Fri, 6 Oct 1995 00:48:18 +0100
Message-Id: <199510052348.AAA03126@muppet42.cs.chalmers.se>
From: Christophe Raffalli <raffalli@cs.chalmers.se>
To: caml-list@pauillac.inria.fr
Subject: Available now: A library for Abstract Syntax with Binder.
I am please to announce a new library for Caml-Light:
THE BINLIB PACKAGE
------------------
This is a library for the Caml-Light language (and Sml-nj soon
... may be) providing reasonable tools to write programs
manipulating data structures with binders (like lambda-terms or
quantified formulae). It is quite efficient and not to difficult to
use (at least for me).
It is available from my URL:
http://www.logique.jussieu.fr/www.raffalli/index.html#examples
Or by ftp:
ftp://ftp.logique.jussieu.fr/pub/distrib/raffalli/
------------------
Christophe Raffalli
Chalmers University of Technology.