GitHub repository: marcoonroad/subtype-refinement
Primary language: OCaml
Created: 2017-04-14T06:29:23Z
Description: Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books: