type-natural-1.3.0.2: Type-level natural and proofs of their properties.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Natural.Builtin

Description

Deprecated: Use Data.Type.Natural instead

Since 1.0.0.0

Documentation

module Data.Type.Natural