willdoescode / Natrual

Haskell Nat implementation.

Haskell Nat Implementation

Testing

ghc Main.hs -package HUnit
./main

Addition

(S (S Z)) + (S (S Z))
(S (a + k))
(S (S (a + Z)))
(S (S (a)))
(S (S (S (S Z)))) == 4

Multiplication

(S (S Z)) * (S (S Z))
(S ((S (S Z)) + (S (S Z))))
(S (S (S (S (S (S (S (S Z)))))))