opentheory-primitive-1.4: Haskell primitives used by OpenTheory packages

LicenseMIT
MaintainerJoe Leslie-Hurd <[email protected]>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.Primitive.Natural

Description

 

Documentation