https://github.com/purefunctor/ocaml-bidirectional
An implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism in OCaml.
https://github.com/purefunctor/ocaml-bidirectional
Last synced: about 1 year ago
JSON representation
An implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism in OCaml.
- Host: GitHub
- URL: https://github.com/purefunctor/ocaml-bidirectional
- Owner: purefunctor
- License: bsd-3-clause
- Created: 2021-12-05T07:50:11.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2021-12-13T11:57:03.000Z (over 4 years ago)
- Last Synced: 2025-03-20T05:15:38.546Z (over 1 year ago)
- Language: OCaml
- Homepage:
- Size: 44.9 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE