From 397a5ae9690bc3876d07a419cd0d9d33f8d7a31f Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sun, 22 Mar 2015 19:11:44 +0100 Subject: [PATCH] Added names w7 --- week6/camil/BewijsMapFlatten.icl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/week6/camil/BewijsMapFlatten.icl b/week6/camil/BewijsMapFlatten.icl index 44cf7c1..7f2474e 100644 --- a/week6/camil/BewijsMapFlatten.icl +++ b/week6/camil/BewijsMapFlatten.icl @@ -1,3 +1,6 @@ +// Mart Lubbers, s4109503 +// Camil Staps, s4498062 + Zij gegeven: (++) :: [a] [a] -> [a] @@ -77,4 +80,4 @@ Stel flatten (map (map f) xs) = map f (flatten xs) voor een zekere eindige lijst Uit het principe van volledige inductie volgt nu dat voor iedere functie f en eindige lijst xs geldt: - flatten (map (map f) xs) = map f (flatten xs) \ No newline at end of file + flatten (map (map f) xs) = map f (flatten xs) -- 2.20.1