blc 0.4.1

An implementation of the binary lambda calculus.
Documentation