blc 0.1.3

An implementation of the binary lambda calculus
Documentation