acme-numbersystem-0.2.0.0: Define the less than and subtraction for nats

Safe HaskellNone

Acme.NumberSystem

Synopsis

Documentation

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