fast-nats
Version 0.1.0.1 revision 0 uploaded by mckeankylej.
Package meta
- Synopsis
- Natural Numbers with no overhead
- Description
Dependent Singleton like natural numbers without the Singleton dependency. The implementation uses inductive naturals at the type level but machine integers at the term level.
- Author
- Kyle McKean
- Bug reports
- https://github.com/mckeankylej/fast-nats/issues
- Category
- Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- mckean.kylej@gmail.com
- Package URL
- n/a
- Stability
- n/a