| Portability | non-portable (ScopedTypeVariables, Rank2Types, GADTs, DeriveDataTypeable) |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | None |
Data.FiniteField.SomeNat
Description
Utility for type-level manipulation of natural numbers