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