opentheory-1.200: The standard theory library

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

OpenTheory.Natural

Description

 

Documentation

naturalEven :: Natural -> Bool Source

naturalOdd :: Natural -> Bool Source