sstucki / system-f-agda

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

Geek Repo

Github PK Tool