/system-f-agda

A formalization of the polymorphic lambda calculus extended with iso-recursive types

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.