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/StdStack.dcl | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 files/practicum/StdStack.dcl

(limited to 'files/practicum/StdStack.dcl')

diff --git a/files/practicum/StdStack.dcl b/files/practicum/StdStack.dcl
deleted file mode 100644
index 8c861a1..0000000
--- a/files/practicum/StdStack.dcl
+++ /dev/null
@@ -1,13 +0,0 @@
-definition module StdStack
-
-:: Stack a
-
-newStack :: Stack a                        // lege stack
-push     ::  a  (Stack a) -> Stack a       // plaats nieuw element bovenop de stack
-pushes   :: [a] (Stack a) -> Stack a       // plaats elementen achtereenvolgens bovenop stack
-pop      ::     (Stack a) -> Stack a       // haal top element van stack
-popn     :: Int (Stack a) -> Stack a       // haal bovenste $n$ top elementen van stack
-top      ::     (Stack a) -> a             // geef top element van stack
-topn     :: Int (Stack a) -> [a]           // geef bovenste $n$ top elementen van stack
-elements ::     (Stack a) -> [a]           // geef alle elementen van stack
-count    ::     (Stack a) -> Int           // tel aantal elementen in stack
-- 
cgit v1.2.3