blc

blc is an implementation of the binary lambda calculus.

Documentation

Status

The library is already usable, but it is still a work in progress.

TODO

• better documentation