The latest version of TypeNat is 0.5.0.1-0.

TypeNat

Version 0.1.0.0 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
n/a
Homepage
https://github.com/avieth/TypeNat
Maintainer
aovieth@gmail.com
Package URL
n/a
Stability
n/a

Components