1 files changed, 12 insertions, 0 deletions
diff --git a/files/practicum/BewijsMapO.icl b/files/practicum/BewijsMapO.icl
new file mode 100644
index 0000000..144a4d6
--- /dev/null
+++ b/files/practicum/BewijsMapO.icl
@@ -0,0 +1,12 @@
+Zij gegeven:
+
+	map :: (a -> b) [a] -> [b]
+	map f []      = []                 (1)
+	map f [x:xs]  = [f x : map f xs]   (2)
+	
+	(f o g) x     = f (g x)            (3)
+
+Bewijs de volgende stelling voor alle eindige lijsten xs en functies f en g:
+
+	map (f o g) xs = map f (map g xs)
+