Home Explore Help
Sign In
CNI
/
HaskellCourse
3
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Browse Source

Add convertor from int to Nat

DricomDragon 5 years ago
parent
6e767afd5a
commit
715cd0c58c
1 changed files with 3 additions and 0 deletions
Split View Show Diff Stats
  1. 3 0
      peano.hs

+ 3 - 0
peano.hs
View File 

@@ -3,3 +3,6 @@ data Nat = Zero | Succ Nat
 
 intValOf thisNat = case thisNat of
 
 	Zero -> 0
 
 	Succ nextNat -> 1 + intValOf nextNat
 
+
 
+natValOf thisInt = if thisInt == 0 then Zero else Succ (natValOf (thisInt - 1))
 
+