opentheory-divides-1.56: The divides relation on natural numbers

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.Natural.Divides

Description

 

Documentation

divides :: Natural -> Natural -> Bool Source

egcd :: Natural -> Natural -> (Natural, (Natural, Natural)) Source