Pure untyped lambda calculus in safe Rust.
parser interpreter functional-programming repl lambda-calculus mathematics programming-language-theory lambda-calculus-evaluator programming-language-development lambda-calculus-interpreter
-
Updated
Jan 23, 2023 - Rust