blc 0.6.0

An implementation of the binary lambda calculus.
Documentation
1
2
3
4
//! BLC-relevant encodings

pub mod binary;
pub mod lambda;