package type_eq

  1. Overview
  2. Docs
Type equality proofs for OCaml 4

Install

Dune Dependency

Authors

Maintainers

Sources

type_eq-0.0.1.tbz
sha256=7855592497d4ea17dbf2f28d5ce64b67570772c0ddcc551eadb87645906dd199
sha512=b54629c3eca93c820156d5d4cf1a71fdef3fba07321a8ac068869d7e900e056944d8a02770dd21e4c2bbdcb5376036ddb61b83b33afe7bb355ac59b9b4bb0d63

CHANGES.html

CHANGES

1.0.0
========
- #1: initial implementation
OCaml

Innovation. Community. Security.