lambda_calculus 1.2.0

A simple implementation of the untyped lambda calculus
Documentation