The latest version of dependent-sum is 0.7.2.0-2.
dependent-sum
Version 0.2.0.1 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Dependent sum type
- Description
Dependent sums and supporting typeclasses for comparing and formatting them.
- Author
- James Cook <mokus@deepbondi.net>
- Bug reports
- n/a
- Category
- Data, Dependent Types
- Copyright
- n/a
- Homepage
- https://github.com/mokus0/dependent-sum
- Maintainer
- James Cook <mokus@deepbondi.net>
- Package URL
- n/a
- Stability
- provisional