The latest version of witness is 0.6.2-0.
witness
Version 0.4 revision 0 uploaded by AshleyYakeley.
Package meta
- Synopsis
- values that witness types
- Description
A witness is a value that witnesses some sort of constraint on some list of type variables. This library provides support for simple witnesses, that constrain a type variable to a single type, and equality witnesses, that constrain two type variables to be the same type. It also provides classes for representatives, which are values that represent types. See the paper Witnesses and Open Witnesses (http://semantic.org/stuff/Open-Witnesses.pdf).
- Author
- Ashley Yakeley <ashley@semantic.org>
- Bug reports
- https://github.com/AshleyYakeley/witness/issues
- Category
- Data
- Copyright
- Ashley Yakeley <ashley@semantic.org>
- Homepage
- https://github.com/AshleyYakeley/witness
- Maintainer
- Ashley Yakeley <ashley@semantic.org>
- Package URL
- n/a
- Stability
- n/a