type-level-integers
Version 0.0.1 revision 0 uploaded by mtesseract.
Package meta
- Synopsis
- Provides integers lifted to the type level
- Description
This packages provides type level integers together with type families for basic arithmetic.
- Author
- Moritz Schulte
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2017 Moritz Schulte
- Homepage
- https://github.com/mtesseract/type-level-integers
- Maintainer
- mtesseract@silverratio.net
- Package URL
- n/a
- Stability
- n/a