The Coq mailing list

[S�bastien Hinderer <Sebastien.Hinderer AT loria.fr>]

Dear all,

Has some library been developed to handle simply typed lambda terms ?
The library should be able to build and reduce terms, in a
computationally efficient way.

If you are aware of such a work, many thanks for letting me know.

Cheers,
Sébastien.

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs