lambda_calculus 3.4.0

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

pub mod binary;
pub mod church;
pub mod convert;
pub mod parigot;
pub mod scott;
pub mod signed;
pub mod stumpfu;