type-natural-1.1.0.0: Type-level natural and proofs of their properties.
Safe HaskellNone
LanguageHaskell2010

Data.Type.Natural.Builtin

Description

Deprecated: Use Data.Type.Natural instead

Since 1.0.0.0

Documentation

module Data.Type.Natural