marcoonroad / subtype-refinement

Refinement types encoded with private types in OCaml.
10Updated 4 years ago

Related projects

Alternatives and complementary repositories for subtype-refinement