singleton-nats
Version 0.4.7 revision 1 uploaded by ryanglscott.
Package meta
- Synopsis
- Unary natural numbers relying on the singletons infrastructure.
- Description
Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.
- Author
- András Kovács
- Bug reports
- https://github.com/AndrasKovacs/singleton-nats/issues
- Category
- Data, Dependent Types
- Copyright
- 2015 András Kovács
- Homepage
- https://github.com/AndrasKovacs/singleton-nats
- Maintainer
- puttamalac@gmail.com
- Package URL
- n/a
- Stability
- n/a