search

marcoonroad / subtype-refinement

Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:
MIT License
10 stars 1 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated