lambda_calculus 3.0.0

A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Documentation
1
2
3
4
5
6
7
//! List encodings

pub mod pair;
pub mod church;
pub mod scott;
pub mod parigot;
pub mod convert;