From 78636495692cc41761ad58f10b4479b6f06bdbaf Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Sat, 25 Apr 2015 12:18:42 +0200
Subject: finally, week2 done:)

---
 fp2/week2/mart/oldold/old/StdMaybeMonad.dcl | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 fp2/week2/mart/oldold/old/StdMaybeMonad.dcl

(limited to 'fp2/week2/mart/oldold/old/StdMaybeMonad.dcl')

diff --git a/fp2/week2/mart/oldold/old/StdMaybeMonad.dcl b/fp2/week2/mart/oldold/old/StdMaybeMonad.dcl
deleted file mode 100644
index e9ebec1..0000000
--- a/fp2/week2/mart/oldold/old/StdMaybeMonad.dcl
+++ /dev/null
@@ -1,9 +0,0 @@
-definition module StdMaybeMonad
-
-import StdMonad
-
-:: Maybe a = Nothing | Just a
-
-instance return	Maybe
-instance >>=	Maybe
-instance fail   Maybe
-- 
cgit v1.2.3