From 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Thu, 16 Apr 2015 21:22:20 +0200
Subject: update to fp2 yay, public and licence

---
 fp1/week5/camil/Origami.icl | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 fp1/week5/camil/Origami.icl

(limited to 'fp1/week5/camil/Origami.icl')

diff --git a/fp1/week5/camil/Origami.icl b/fp1/week5/camil/Origami.icl
new file mode 100644
index 0000000..74362a9
--- /dev/null
+++ b/fp1/week5/camil/Origami.icl
@@ -0,0 +1,24 @@
+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
-- 
cgit v1.2.3