The open-witness package

[Tags: bsd3, library]

Open witnesses are witnesses that can witness to any type. However, they cannot be constructed, they can only be generated in the IO monad. See the paper Witnesses and Open Witnesses (http://semantic.org/stuff/Open-Witnesses.pdf).


Properties

Versions0.1, 0.1.1
Dependenciesbase (>=2.0), mtl (>=1.1), witness (==0.1)
LicenseBSD3
AuthorAshley Yakeley <ashley@semantic.org>
MaintainerAshley Yakeley <ashley@semantic.org>
CategoryData
Upload dateSat Aug 23 08:13:19 UTC 2008
Uploaded byAshleyYakeley
Downloads141 total (20 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees