@hackage / key

Type-safe unconstrained dynamic typing

Version Deprecated package0.1.2.0

About

Metadata

  • Last updated , by MatthewFarkasDyck
  • License BSD-3-Clause

  • Maintained by: strake888@gmail.com

  • Lottery factor: 0

Links

Installation

This package has been deprecated

Readme

A library of monadic typed keys which can be compared for equality, returning an equality proof if equal. See http://dx.doi.org/10.1145/2976002.2976008 The authors of the cited document and of this package are disjoint.