TypeNat

Version 0.5.0.1 revision 0 uploaded by alexvieth.

Package meta

Synopsis
Some Nat-indexed types for GHC
Description
Author
Alexander Vieth
Bug reports
n/a
Category
Data
Copyright
MIT
Homepage
https://github.com/avieth/TypeNat
Maintainer
aovieth@gmail.com
Package URL
n/a
Stability
n/a

Components