From: Camil Staps <info@camilstaps.nl>
Date: Sun, 22 Mar 2015 18:11:44 +0000 (+0100)
Subject: Added names w7
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=397a5ae9690bc3876d07a419cd0d9d33f8d7a31f;p=fp1415.git

Added names w7
---

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)