reduction-strategies topic
List
reduction-strategies repositories
lambda_calculus
98
Stars
10
Forks
Watchers
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
