natural-arithmetic-0.1.2.0: Arithmetic of natural numbers

Safe HaskellNone
LanguageHaskell2010

Arithmetic.Equal

Documentation

symmetric :: (m :=: n) -> n :=: m Source #

plusR :: forall c m n. (m :=: n) -> (m + c) :=: (n + c) Source #

plusL :: forall c m n. (m :=: n) -> (c + m) :=: (c + n) Source #