Package

purescript-typelevel-arithmetic

Repository
sigma-andex/purescript-typelevel-arithmetic
License
MIT-0
Uploaded by
sigma-andex
Published on
2021-08-25T09:36:56Z

Arithmetic at the typelevel using symbols.

add 
   augend addend sum carry result.
  Add augend addend carry sum 
  Cons carry sum result 
  Proxy augend  Proxy addend  Proxy result
add _ _ = Proxy

result  Proxy "0579"
result = add (term  _ "123") (term  _ "456")