lambda_calculus 0.12.0

A simple implementation of the untyped lambda calculus in Rust.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
//! **lambda_calculus** is a simple implementation of the untyped lambda calculus in Rust.

#[macro_use]

pub mod term;
pub mod reduction;
pub mod arithmetic;
pub mod booleans;
pub mod pair;
pub mod list;
pub mod combinators;
pub mod parser;