open-witness
Version 0.7 revision 0 uploaded by AshleyYakeley.
Package meta
- Synopsis
- open witnesses
- Description
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 2008 draft paper Witnesses and Open Witnesses (https://semantic.org/wp-content/uploads/Open-Witnesses.pdf).
- Author
- Ashley Yakeley
- Bug reports
- https://github.com/AshleyYakeley/open-witness/issues
- Category
- Data
- Copyright
- (c) 2017-2024 Ashley Yakeley
- Homepage
- https://github.com/AshleyYakeley/open-witness#readme
- Maintainer
- <ashley@semantic.org>
- Package URL
- n/a
- Stability
- n/a