lambda_calculus 2.1.0

A simple implementation of pure lambda calculus
Documentation