      Lambda: a program for solving lambda definability problems

* The sub-directory doc contains the PDF for the paper "Mechanizing
Logical Relations", which describes the theory on which Lambda is
based and explains what the program does.

* The sub-directory man contains a short manual page describing
Lambda.

* The sub-directory code contains the implementation of Lambda as well
as instructions for compiling and installing it.

* The sub-directory examps contains a number of example lambda
definability problems, together with their solutions.

Bug reports, comments and requests to be notified of future releases
of Lambda should be e-mailed to Alley.Stoughton@gmail.com.
