summaryrefslogtreecommitdiff
path: root/files/practicum/BewijsMapO.icl
diff options
context:
space:
mode:
Diffstat (limited to 'files/practicum/BewijsMapO.icl')
-rw-r--r--files/practicum/BewijsMapO.icl12
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)
+