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

---
 fp2/week2/mart/StdMonad.dcl | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 fp2/week2/mart/StdMonad.dcl

(limited to 'fp2/week2/mart/StdMonad.dcl')

diff --git a/fp2/week2/mart/StdMonad.dcl b/fp2/week2/mart/StdMonad.dcl
deleted file mode 100644
index cd1c654..0000000
--- a/fp2/week2/mart/StdMonad.dcl
+++ /dev/null
@@ -1,8 +0,0 @@
-definition module StdMonad
-
-class return        c :: a -> c a
-class (>>=) infix 0	c :: (c a) (a -> c b) -> c b
-class fail          c :: c a
-
-class Monad	        c | return, >>= c
-class MonadFail	    c | Monad, fail c
-- 
cgit v1.2.3