ashley:
> witness 0.1
> 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
Two packages, and the draft paper on which they are based. Both packages
are "proof of concept"; I'm open to ideas and repainting of bike-sheds.
witness 0.1
A witness is a value that witnesses some sort of constraint on some list
of type variables. This library provides support for simple witn
