lambda_calculus 1.4.0

A simple implementation of the untyped lambda calculus
Documentation