gitaskhub
purefunctor/ocaml-bidirectional↗

An implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism in OCaml.

Language · OCaml
License · BSD-3-Clause
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).