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 Terms
• more documentation
• more tests