lambda_calculus 1.1.0

A simple implementation of the untyped lambda calculus in Rust.
1
2
3
4
5
6
7
8
//! [Church-encoded](https://en.wikipedia.org/wiki/Church_encoding) data and operators
//!
//! This module can optionally not be built using `features = ["no_church"]`.

pub mod numerals;
pub mod booleans;
pub mod pairs;
pub mod lists;