Skip to content

A small OCaml implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

License

Notifications You must be signed in to change notification settings

nogw/higher-rank

Folders and files

NameName
Last commit message
Last commit date

Latest commit

May 19, 2023
489b024 · May 19, 2023

History

4 Commits
May 19, 2023
May 19, 2023
May 19, 2023
May 19, 2023
May 19, 2023
May 19, 2023
May 19, 2023
May 19, 2023
May 19, 2023

Repository files navigation

About

A small OCaml implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages