diff options
Diffstat (limited to 'week6/camil/BewijsMapFlatten.icl')
| -rw-r--r-- | week6/camil/BewijsMapFlatten.icl | 5 |
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)
|