There are 0 repository under scott-encoding topic.
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.