diff options
| author | Camil Staps | 2016-02-02 19:24:50 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-02-02 19:24:50 +0100 |
| commit | a7d7542dc646a5fd124ef71e71ce260889f1701b (patch) | |
| tree | 04ed89503bbb3cc9933273a1326a53ca724c3492 /files/practicum/BewijsInitTake.icl | |
| parent | week6 camil: working positioning of lines by putting empties at left and righ... (diff) | |
Diffstat (limited to 'files/practicum/BewijsInitTake.icl')
| -rw-r--r-- | files/practicum/BewijsInitTake.icl | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/files/practicum/BewijsInitTake.icl b/files/practicum/BewijsInitTake.icl deleted file mode 100644 index ef5e9b4..0000000 --- a/files/practicum/BewijsInitTake.icl +++ /dev/null @@ -1,22 +0,0 @@ -Zij gegeven: - - init :: [a] -> [a] - init [x] = [] (1) - init [x:xs] = [x:init xs] (2) - - take :: Int [a] -> [a] - take 0 xs = [] (3) - take n [] = [] (4) - take n [x:xs] = [x : take (n-1) xs] (5) - - length :: [a] -> Int - length [] = 0 (6) - length [x:xs] = 1 + length xs (7) - - (f o g) x = f (g x) (8) - -Bewijs de volgende stelling voor alle eindige, niet-lege lijsten xs: - - init xs = take (length xs - 1) xs - -Je mag aannemen dat het Int-bereik onbeperkt is. |