blc

blc is an implementation of the binary lambda calculus.

Documentation

Status

The library is a work in progress.

Roadmap

• an encoding function for lambda Terms
• documentation
• more tests