/untyped-nbe

Untyped lambda calculus via Normalization by Evaluation (NbE) in Haskell

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.