lambda_calculus 1.3.0

A simple implementation of the untyped lambda calculus
Documentation