ljedrz / lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
117Updated 8 months ago

Alternatives and similar repositories for lambda_calculus:

Users that are interested in lambda_calculus are comparing it to the libraries listed below