/ANF-transformer

Strongly-typed transformation of lambda calculus terms into A-normal form (ANF).

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.