Safe Haskell | None |
---|---|
Language | Haskell2010 |
Deprecated: Use Data.Type.Natural instead
Since 1.0.0.0
Documentation
module Data.Type.Natural
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Deprecated: Use Data.Type.Natural instead
Since 1.0.0.0
module Data.Type.Natural