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/SeqEnSeqList.icl | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 1415/files/practicum/SeqEnSeqList.icl

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

diff --git a/1415/files/practicum/SeqEnSeqList.icl b/1415/files/practicum/SeqEnSeqList.icl
new file mode 100644
index 0000000..c303c57
--- /dev/null
+++ b/1415/files/practicum/SeqEnSeqList.icl
@@ -0,0 +1,16 @@
+module SeqEnSeqList
+
+import StdEnv, StdStack
+
+Start         = and
+                [ elements` s1           == elements s2
+                , elements` (popn` 3 s1) == elements (popn 3 s2)
+                ,            topn` 3 s1  ==           topn 3 s2
+                , elements` s1           == elements s2
+                ]
+where (s1,s2) = (pushes` [1..5] newStack, pushes [1..5] newStack)
+
+pushes`       = // expressie met seq en push
+popn`         = // expressie met seq en pop
+topn`   n s   = // expressie met seqList, top en pop
+elements` s   = // expressie met seqList, top en pop
-- 
cgit v1.2.3