codepad
[
create a new paste
]
login
|
about
Language:
C
C++
D
Haskell
Lua
OCaml
PHP
Perl
Plain Text
Python
Ruby
Scheme
Tcl
data N = Z | S N deriving (Ord,Eq,Show) instance Num N where x + Z = x x + (S y) = S (x + y) fromInteger 0 = Z fromInteger (n+1) = S (fromInteger n) x = x + 1 :: N main = print (x > 5)
Private
[
?
]
Run code
Submit