1 files changed, 0 insertions, 16 deletions
diff --git a/files/practicum/StdStateMonad.icl b/files/practicum/StdStateMonad.icl
deleted file mode 100644
index 527ac5c..0000000
--- a/files/practicum/StdStateMonad.icl
+++ /dev/null
@@ -1,16 +0,0 @@
-implementation module StdStateMonad
-
-import StdMonad
-
-:: ST s a = ST (s -> (a, s))
-
-instance return (ST s) where return x     = ST (\w = (x, w))
-instance >>=    (ST s) where >>= (ST f) g = ST (\w = let (a, w1) = f w 
-                                                      in unST (g a) w1
-                                               )
-
-mkST :: (s -> (a,s)) -> ST s a
-mkST f = ST f
-
-unST :: (ST s a) -> s -> (a, s)
-unST (ST f) = f