From 5fa8e01ce67729b64936d186090118cb394debaf Mon Sep 17 00:00:00 2001 From: Joel Kaasinen Date: Fri, 15 May 2020 13:24:51 +0300 Subject: [PATCH] Set 5a Ex 11: minor fixes in exercise text --- exercises/Set5a.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/exercises/Set5a.hs b/exercises/Set5a.hs index bd3cf1d..86ab5c1 100644 --- a/exercises/Set5a.hs +++ b/exercises/Set5a.hs @@ -239,14 +239,14 @@ fromList :: [(k,v)] -> KeyVals k v fromList = todo ------------------------------------------------------------------------------ --- Exercise 11: The data type Nat is the so called Peano +-- Ex 11: The data type Nat is the so called Peano -- representation for natural numbers. Define functions fromNat and -- toNat that convert natural numbers to Ints and vice versa. -- -- Examples: +-- fromNat (PlusOne (PlusOne (PlusOne Zero))) ==> 3 -- toNat 3 ==> Just (PlusOne (PlusOne (PlusOne Zero))) -- toNat (-3) ==> Nothing --- fromNat (PlusOne (PlusOne (PlusOne Zero))) ==> 3 -- data Nat = Zero | PlusOne Nat