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

---
 files/practicum/EersteOfLaatste.icl | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 files/practicum/EersteOfLaatste.icl

(limited to 'files/practicum/EersteOfLaatste.icl')

diff --git a/files/practicum/EersteOfLaatste.icl b/files/practicum/EersteOfLaatste.icl
deleted file mode 100644
index bb02c4c..0000000
--- a/files/practicum/EersteOfLaatste.icl
+++ /dev/null
@@ -1,37 +0,0 @@
-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)
-*/
-- 
cgit v1.2.3