package type_eq

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

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. Z
    Zach Baylin <zbaylin@gmail.com>

Maintainers

  1. Z
    Zach Baylin <zbaylin@gmail.com>
  2. T
    Trent Small <sixstring982@gmail.com>

Sources

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

CHANGES.html

CHANGES

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