beta-reduction topic

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

ljedrz

an interpreter for λ-calculus implemented in ruby

gurbaaz27

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

ptarau