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

---
 week3/mart/StdSortList.dcl | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 week3/mart/StdSortList.dcl

(limited to 'week3/mart/StdSortList.dcl')

diff --git a/week3/mart/StdSortList.dcl b/week3/mart/StdSortList.dcl
deleted file mode 100644
index 46bd238..0000000
--- a/week3/mart/StdSortList.dcl
+++ /dev/null
@@ -1,18 +0,0 @@
-definition module StdSortList
-
-import StdClass
-
-::  SortList a
-
-newSortList   :: SortList a                                    // lege gesorteerde lijst
-memberSort    :: a (SortList a) -> Bool       | Eq, Ord a      // is element van
-insertSort    :: a (SortList a) -> SortList a | Ord a          // voeg element toe
-removeFirst   :: a (SortList a) -> SortList a | Eq, Ord a      // verwijder eerste voorkomen
-removeAll     :: a (SortList a) -> SortList a | Eq, Ord a      // verwijder alle voorkomens
-elements      ::   (SortList a) -> [a]                         // geef alle elementen
-count         ::   (SortList a) -> Int                         // aantal elementen
-
-minimum       ::   (SortList a) -> a                           // huidige minimum waarde
-maximum       ::   (SortList a) -> a                           // huidige maximum waarde
-
-mergeSortList :: (SortList a) (SortList a) -> SortList a | Eq, Ord a // meng gesorteerde lijsten
-- 
cgit v1.2.3