Peano numbers

Run Settings
Language	Haskell
Language Version
Run Command

1
2
3
4
5
6
7
8
9
10
11
data P = Zero | Succ P deriving (Show, Read, Eq)
   
(.+.) :: P -> P -> P
Zero .+. y = y
Succ x .+. y = Succ (x .+. y)
one :: P
one = Succ Zero
two :: P
two = Succ one
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Editor Settings
Theme
Key bindings
Full width
Lines	10

Snippet Metadata
Owner	homam
Created	9 years ago
Modified	9 years ago
Visibility	Public