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
UploadedSat Aug 23 08:13:19 UTC 2008 by AshleyYakeley
Downloads215 total (17 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees