blc
blc is an implementation of the binary lambda calculus.
Documentation
Status
The parser and lambda encoding are already working, but the library is still a work in progress.
Roadmap
- a binary encoding for lambda
Term
s - more documentation
- more tests