acme-numbersystem-0.3.0.0: Define the less than and add and subtract for nats

Safe HaskellNone

Acme.NumberSystem

Synopsis

Documentation

type Less = <=Source

type family Add m n :: NatSource

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