acme-numbersystem-0.2.0.0: Define the less than and subtraction for nats
Acme.NumberSystem
Synopsis
type Less = <=Source
type family Sub m n :: NatSource
numberSystem :: Integer -> Q [Dec]Source
Define the less than relation for numbers up to a number using Template Haskell. | Also define subtraction. | E.g. numberSystem 100