blc 0.6.0

An implementation of the binary lambda calculus.
Documentation