/bidirectional-typechecking

Bidirectional type checking for predicative System F

Primary LanguageOCaml

Stargazers