summaryrefslogtreecommitdiff
path: root/files/practicum/BewijsMapO.icl
blob: 144a4d651edc535b64d60eabdef52b838be89612 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
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)