The latest version of quantification is 0.8-0.
quantification
Version 0.7.0 revision 1 uploaded by andrewthad.
Package meta
- Synopsis
- Rage against the quantification
- Description
Data types and typeclasses to deal with universally and existentially quantified types
- Author
- Andrew Martin
- Bug reports
- n/a
- Category
- Web
- Copyright
- 2018 Andrew Martin
- Homepage
- https://github.com/andrewthad/quantification#readme
- Maintainer
- andrew.thaddeus@gmail.com
- Package URL
- n/a
- Stability
- n/a