Added names w7

diff --git a/week6/camil/BewijsMapFlatten.icl b/week6/camil/BewijsMapFlatten.icl
index 44cf7c1..7f2474e 100644 (file)
--- a/week6/camil/BewijsMapFlatten.icl
+++ b/week6/camil/BewijsMapFlatten.icl
@@ -1,3 +1,6 @@
+// Mart Lubbers, s4109503\r
+// Camil Staps, s4498062\r
+\r
 Zij gegeven:\r
 \r
 (++) :: [a] [a] -> [a]\r
@@ -77,4 +80,4 @@ Stel flatten (map (map f) xs) = map f (flatten xs) voor een zekere eindige lijst
 \r
 Uit het principe van volledige inductie volgt nu dat voor iedere functie f en eindige lijst xs geldt:\r
 \r
-    flatten (map (map f) xs) = map f (flatten xs)
\ No newline at end of file
+    flatten (map (map f) xs) = map f (flatten xs)\r