blc 0.2.0

An implementation of the binary lambda calculus
Documentation