summaryrefslogtreecommitdiff
path: root/files/practicum/BewijsInitTake.icl
diff options
context:
space:
mode:
authorCamil Staps2016-02-02 19:24:50 +0100
committerCamil Staps2016-02-02 19:24:50 +0100
commita7d7542dc646a5fd124ef71e71ce260889f1701b (patch)
tree04ed89503bbb3cc9933273a1326a53ca724c3492 /files/practicum/BewijsInitTake.icl
parentweek6 camil: working positioning of lines by putting empties at left and righ... (diff)
Moved to 1415 directoryHEADmaster
Diffstat (limited to 'files/practicum/BewijsInitTake.icl')
-rw-r--r--files/practicum/BewijsInitTake.icl22
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.