GitHub repository: sstucki/system-f-agda
Primary language: Agda
Created: 2015-02-26T16:38:26Z
Description: A formalization of the polymorphic lambda calculus extended with iso-recursive types