Crate lambda_calculus [−] [src]
lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.
Modules
church |
Church-encoded data and operators |
combinators | |
parser |
A parser for lambda expressions |
reduction |
β-reduction for lambda |
term |
Macros
app |
A macro for chain application of |