subtype-refinementversion
Refinement types encoded with private types in OCaml.
Generating refinement constraints through OCaml's Applicative Functors and private types.
| Author | Marco Aurélio <marcoonroad@gmail.com> |
|---|---|
| License | MIT |
| Published | |
| Homepage | http://github.com/marcoonroad/subtype-refinement |
| Issue Tracker | http://github.com/marcoonroad/subtype-refinement/issues |
| Maintainer | Marco Aurélio <marcoonroad@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/marcoonroad/subtype-refinement/archive/v0.1.tar.gz md5=84c3ab089fc771450917f0bd2613ed9c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/subtype-refinement/subtype-refinement.0.1/opam |
No package is dependent
