Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
Primary LanguageMakefileMIT LicenseMIT