Geeks
avieth
/
TypeNat
Some Nat-indexed types for GHC
Primary Language
Haskell
MIT License
MIT
TypeNat GitHub
Markdown
Readme
1
Issue
1
Stargazer
3
Watchers
Issues
Open issue
GHC 7.10.x support?
#1 opened
9 years ago
3