From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/files/practicum/BewijsMapFlatten.icl | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 1415/files/practicum/BewijsMapFlatten.icl

(limited to '1415/files/practicum/BewijsMapFlatten.icl')

diff --git a/1415/files/practicum/BewijsMapFlatten.icl b/1415/files/practicum/BewijsMapFlatten.icl
new file mode 100644
index 0000000..dc74766
--- /dev/null
+++ b/1415/files/practicum/BewijsMapFlatten.icl
@@ -0,0 +1,30 @@
+Zij gegeven:
+
+(++) :: [a] [a] -> [a]
+(++) []     xs = xs                (1)
+(++) [y:ys] xs = [y : ys ++ xs]    (2)
+
+map :: (a -> b) [a] -> [b]
+map f []       = []                (3)
+map f [x:xs]   = [f x : map f xs]  (4)
+
+flatten :: [[a]] -> [a]
+flatten []     = []                (5)
+flatten [x:xs] = x ++ (flatten xs) (6)
+
+1. 
+Te bewijzen: 
+	voor iedere functie f, eindige lijst as en bs:
+		
+		map f (as ++ bs) = (map f as) ++ (map f bs)
+
+Bewijs:
+
+
+2. 
+Te bewijzen:
+	voor iedere functie f, voor iedere eindige lijst xs:
+	
+		flatten (map (map f) xs) = map f (flatten xs)
+
+Bewijs:
-- 
cgit v1.2.3