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