blc

blc is an implementation of the binary lambda calculus.

Documentation

Status

The library is a work in progress.

Roadmap