The latest version of dependent-sum is 0.7.2.0-2.

dependent-sum

Version 0.2.0.1 revision 0 uploaded by JamesCook.

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

Components