lambda_calculus
lambda_calculus copied to clipboard
Published
20 hours ago •
ljedrz
ljedrz
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Results
1
lambda_calculus issues
Sort by
recently updated
recently updated
newest added
With the [latest PR](https://github.com/ljedrz/lambda_calculus/pull/55) I've noticed one potential improvement that is unlikely to ever be truly needed, but would make the library more airtight; unfortunately it would break the API,...
enhancement