Crate lambda_calculus [−] [src]
lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.
Modules
arithmetic |
Church-encoded numerals and arithmetic operations |
booleans | |
combinators | |
list | |
pair | |
parser |
A parser for lambda expressions with De Bruijn indices |
reduction |
β-reduction for lambda |
term |