1 search result for "author:"Marco Aurélio <marcoonroad@gmail.com>""

Showing 1 - 1
  1. subtype-refinement
    Documentation
    Refinement types encoded with private types in OCaml
    Marco Aurélio <marcoonroad@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    04 Nov 2019