opentheory-primitive-1.2: Haskell primitives used by OpenTheory packages
OpenTheory.Primitive.Natural
Description
data Natural Source
Instances