From a067356625105f50978443d3b0a0a5d8f6391184 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Fri, 24 Apr 2015 14:35:17 +0200 Subject: rare shit --- fp2/week2/mart/Map.dcl | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 fp2/week2/mart/Map.dcl (limited to 'fp2/week2/mart/Map.dcl') diff --git a/fp2/week2/mart/Map.dcl b/fp2/week2/mart/Map.dcl deleted file mode 100644 index 4848e1a..0000000 --- a/fp2/week2/mart/Map.dcl +++ /dev/null @@ -1,10 +0,0 @@ -definition module Map - -//import BinTree -import StdMaybe - -class Map c :: (a -> b) (c a) -> c b - -instance Map [] -instance Map Maybe -//instance Map Tree -- cgit v1.2.3