Added names w7

1 files changed, 4 insertions, 1 deletions

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)