The latest version of key is 0.1.2.0-0.

key

Version 0.1.1.0 revision 0 uploaded by MatthewFarkasDyck.

Package meta

Synopsis
Type-safe unconstrained dynamic typing
Description

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.

Author
M Farkas-Dyck
Bug reports
n/a
Category
n/a
Copyright
2019 M Farkas-Dyck
Homepage
n/a
Maintainer
strake888@gmail.com
Package URL
n/a
Stability
n/a

Components