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

switch to dune #3

Closed zapashcanon closed 4 years ago

zapashcanon commented 5 years ago

Hi,

I switched the project to dune.

Cheers.

marcoonroad commented 4 years ago

Thank you so much!