natural-number
Version 1.0 revision 0 uploaded by GregoryCrosswhite.
Package meta
- Synopsis
- Natural numbers tagged with a type-level representation of the number.
- Description
This package provides a simple data structure for repesenting natural numbers with a type that is tagged with the type-level natural number corresponding to the value of the natural number.
- Author
- Gregory Crosswhite
- Bug reports
- n/a
- Category
- Type System,Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Gregory Crosswhite <gcross@phys.washington.edu>
- Package URL
- n/a
- Stability
- Provisional