From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/files/practicum/BewijsInitTake.icl | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 1415/files/practicum/BewijsInitTake.icl

(limited to '1415/files/practicum/BewijsInitTake.icl')

diff --git a/1415/files/practicum/BewijsInitTake.icl b/1415/files/practicum/BewijsInitTake.icl
new file mode 100644
index 0000000..ef5e9b4
--- /dev/null
+++ b/1415/files/practicum/BewijsInitTake.icl
@@ -0,0 +1,22 @@
+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.
-- 
cgit v1.2.3