* Available now: A library for Abstract Syntax with Binder.
@ 1995-10-05 23:48 Christophe Raffalli
0 siblings, 0 replies; only message in thread
From: Christophe Raffalli @ 1995-10-05 23:48 UTC (permalink / raw)
To: caml-list
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1995-10-06 8:19 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1995-10-05 23:48 Available now: A library for Abstract Syntax with Binder Christophe Raffalli
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).