blc is an implementation of the binary lambda calculus.
The parser and lambda encoding are already working, but the library is still a work in progress.
Term