ghc Main.hs -package HUnit
./main(S (S Z)) + (S (S Z))
(S (a + k))
(S (S (a + Z)))
(S (S (a)))
(S (S (S (S Z)))) == 4(S (S Z)) * (S (S Z))
(S ((S (S Z)) + (S (S Z))))
(S (S (S (S (S (S (S (S Z)))))))-
Notifications
You must be signed in to change notification settings - Fork 0
willdoescode/Natrual
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Haskell Nat implementation.