Implement converter from Nat to int · 6e767afd5a - Gogs Jovian

Implement converter from Nat to int

DricomDragon 5 years ago

parent

e1135c8da8

commit

6e767afd5a

1 changed files with 3 additions and 0 deletions

Unified View Show Diff Stats

						
							+ 3
							
							- 0
						
peano.hs
							 
								View File
							
																@@ -1,2 +1,5 @@
															
																 data Nat = Zero | Succ Nat
															
																 data Nat = Zero | Succ Nat
															
																+intValOf thisNat = case thisNat of
															
																+	Zero -> 0
															
																+	Succ nextNat -> 1 + intValOf nextNat