lambda_calculus 1.1.1

A simple implementation of the untyped lambda calculus
Documentation