GitHub topics: scott-encoding
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Language: Rust - Size: 650 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 126 - Forks: 13

kongware/ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Language: JavaScript - Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 44 - Forks: 1
