1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
implementation module EersteOfLaatste
import StdEnv
// 1.
eerste2 :: [a] -> [a]
eerste2 ...
laatste2 :: [a] -> [a]
laatste2 ...
// 2.
// Reduceer de volgende Start-regels met de hand:
Start = hd (hd (hd [[[1,2,3],[4]],[[5],[6]]]))
Start = hd (tl [1,2,3,4,5])
Start = eerste2 [[1],[],[2,3],[4,5,6]]
Start = laatste2 [[1],[],[2,3],[4,5,6]]
// 3.
eersten :: Int [a] -> [a]
eersten ...
laatsten :: Int [a] -> [a]
laatsten ...
// 4.
// Maak de volgende beweringen af:
/*
Voor alle 0 <= n, xs :: [a] : eersten n (eersten n xs) =
Voor alle 0 <= n, xs :: [a] : eersten n (laatsten n xs) =
Voor alle 0 <= n, xs :: [a] : laatsten n (eersten n xs) =
Voor alle 0 <= n, xs :: [a] : laatsten n (laatsten n xs) =
Voor alle 0 <= m <= n, xs :: [a] : eersten m (eersten n xs) =
Voor alle 0 <= m <= n, xs :: [a] : length (eersten m xs) ? length (eersten n xs)
*/
|
