type_eqversion
Type equality proofs for OCaml 4
| Author | Zach Baylin <zbaylin@gmail.com> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/skolemlabs/type_eq |
| Issue Tracker | https://github.com/skolemlabs/type_eq/issues |
| Maintainers | Zach Baylin <zbaylin@gmail.com> and Trent Small <sixstring982@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/type_eq-0.0.1.tbz sha256=7855592497d4ea17dbf2f28d5ce64b67570772c0ddcc551eadb87645906dd199 sha512=b54629c3eca93c820156d5d4cf1a71fdef3fba07321a8ac068869d7e900e056944d8a02770dd21e4c2bbdcb5376036ddb61b83b33afe7bb355ac59b9b4bb0d63 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/type_eq/type_eq.0.0.1/opam |
Required by
