lambda_calculus 2.0.0

A simple implementation of pure lambda calculus
Documentation