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

Data.Type.Ordinal.Builtin

Description

Deprecated: Use Data.Type.Ordinal instead

Documentation

module Data.Type.Ordinal