opentheory-primitive-1.0: Haskell primitives used by OpenTheory packages
OpenTheory.Primitive.Natural
Description
A natural number type
data Natural Source
Instances