Crate lambda_calculus [−] [src]
lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.
Modules
arithmetic | |
booleans | |
combinators | |
list | |
pair | |
reduction | |
term |
lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.
arithmetic | |
booleans | |
combinators | |
list | |
pair | |
reduction | |
term |