blc 0.1.2

An implementation of the binary lambda calculus
Documentation