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

---
 fp1/week5/camil/Origami.icl | 24 ------------------------
 fp1/week5/mart/Origami.icl  | 16 ----------------
 2 files changed, 40 deletions(-)
 delete mode 100644 fp1/week5/camil/Origami.icl
 delete mode 100644 fp1/week5/mart/Origami.icl

(limited to 'fp1/week5')

diff --git a/fp1/week5/camil/Origami.icl b/fp1/week5/camil/Origami.icl
deleted file mode 100644
index 74362a9..0000000
--- a/fp1/week5/camil/Origami.icl
+++ /dev/null
@@ -1,24 +0,0 @@
-module Origami
-
-import StdEnv
-
-Start			= and
-				  [ sum`       [1 .. 5]                 == sum       [1 .. 5]
-				  , prod`      [1 .. 5]                 == prod      [1 .. 5]
-				  , flatten`   [[],[1],[1,2],[1,2,3]]   == flatten   [[],[1],[1,2],[1,2,3]]
-				  , reverse`   [1 .. 5]                 == reverse   [1 .. 5]
-				  , takeWhile` ((<>) 0) [1,2,3,0,4,5,6] == takeWhile ((<>) 0) [1,2,3,0,4,5,6]
-				  , maxList`   [1 .. 5]                 == maxList   [1 .. 5]
-				  ]
-
-sum`			= foldr (+) 0
-prod`			= foldr (*) 1
-flatten`		= foldr (++) []
-length`			= foldl (\l e = l + 1) 0
-reverse`		= foldl (\xs x = [x:xs]) []
-takeWhile` _ [] 	= []
-takeWhile` p xs
-	| p (xs!!0)	= take (maxList [i \\ i <- [0..length xs-1] | foldr (&&) True [p (xs!!j) \\ j <- [0..i]]] + 1) xs
-	| otherwise	= []
-maxList` []		= undef
-maxList` [x:xs]		= foldr max x xs
diff --git a/fp1/week5/mart/Origami.icl b/fp1/week5/mart/Origami.icl
deleted file mode 100644
index 180a119..0000000
--- a/fp1/week5/mart/Origami.icl
+++ /dev/null
@@ -1,16 +0,0 @@
-/**
- * Mart Lubbers, s4109503
- * Camil Staps, s4498062
- */
-
-module Origami
-
-import StdEnv
-
-sum` = foldr (+) 0
-prod` = foldr (*) 1
-flatten` = foldr (++) []
-length` = foldr (\x l=l+1) 0
-reverse` = foldl (\xs x=[x:xs]) []
-takeWhile` p = foldr (\x xs=if (p x) [x:xs] []) []
-maxList` [x:xs] = foldr max x xs
-- 
cgit v1.2.3