Lambda


Lambda is a program for solving lambda definability problems of order at most two.

The Lambda distribution consists of:

To obtain a copy of the distribution:

Related links


Alley Stoughton (alley.stoughton@icloud.com)