Added outputs as comments

1 files changed, 8 insertions, 5 deletions

diff --git a/assignment-3/genericMap.icl b/assignment-3/genericMap.icl
index f2f195b..6ea1bf4 100644
--- a/assignment-3/genericMap.icl
+++ b/assignment-3/genericMap.icl
@@ -23,12 +23,15 @@ l = [1..7]
 

 // Part 1

 Start = gMap{|*->*|} fac t

-//Start = gMap{|*->*|} (\i -> (i, fac i)) l

-//Start = gMap{|*->*->*|} (gMap{|*->*|} fac) (gMap{|*->*|} fac) (l,t)

+	// (Bin (Bin Leaf 1 Leaf) 2 (Bin (Bin Leaf 3 Leaf) 5 Leaf))

+Start = gMap{|*->*|} (\i -> (i, fac i)) l

+	// [(1,1),(2,2),(3,3),(4,5),(5,8),(6,13),(7,21)]

+Start = gMap{|*->*->*|} (gMap{|*->*|} fac) (gMap{|*->*|} fac) (l,t)

+	// ([1,2,3,5,8,13,21],(Bin (Bin Leaf 1 Leaf) 2 (Bin (Bin Leaf 3 Leaf) 5 Leaf)))

 

 // Part 2

-//Start = gEq{|*|} [1,2] [1,2]

-//Start = gEq{|*|} [1,2] [2,3]

-//Start = gEq{|*->*|} (\a b -> not (a < b || b < a)) [1,2] [2,3]

+Start = gEq{|*|} [1,2] [1,2]                                   // True

+Start = gEq{|*|} [1,2] [2,3]                                   // False

+Start = gEq{|*->*|} (\a b -> not (a < b || b < a)) [1,2] [2,3] // False

 

 fac n = let fs = [1:1:[(fs!!(i-1)) + (fs!!(i-2)) \\ i <- [2..]]] in fs !! n