Binary Lambda Calculus Playground
This crate defines a representation of λ-calculus and provides parsers and printers for it. The aim of this module is to enable experimentation with the binary encoding described by John Tromp, see BLC and Diagrams
This is mostly a playground for me to practice Rust