opam on Github

subtype-refinementversion
0.1

Refinement types encoded with private types in OCaml.

Generating refinement constraints through OCaml's Applicative Functors and private types.

AuthorMarco Aurélio <marcoonroad@gmail.com>
LicenseMIT
Published
Homepagehttp://github.com/marcoonroad/subtype-refinement
Issue Trackerhttp://github.com/marcoonroad/subtype-refinement/issues
MaintainerMarco Aurélio <marcoonroad@gmail.com>
Dependencies
Source [http] https://github.com/marcoonroad/subtype-refinement/archive/v0.1.tar.gz
sha256=688595fc0b9a9452f5b964e94fc9722fce514956e59119dbb5d265d1f65b2983
md5=84c3ab089fc771450917f0bd2613ed9c
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/subtype-refinement/subtype-refinement.0.1/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.