scott-encoding topic
List
scott-encoding repositories
lambda_calculus
98
Stars
10
Forks
Watchers
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
ftor
44
Stars
1
Forks
Watchers
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.