From 33db1946d2a09898761b7d397fe4028725f2215b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 3 Jan 2018 09:24:21 +0100
Subject: Rename & restructure

---
 assignment-13/Util.dcl | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 assignment-13/Util.dcl

(limited to 'assignment-13/Util.dcl')

diff --git a/assignment-13/Util.dcl b/assignment-13/Util.dcl
deleted file mode 100644
index 9e6ae0a..0000000
--- a/assignment-13/Util.dcl
+++ /dev/null
@@ -1,20 +0,0 @@
-definition module Util
-
-:: PrState =
-	{ indent :: Int
-	, output :: [String]
-	}
-
-class print a :: a -> PrState -> PrState
-
-printToString :: a -> String | print a
-
-instance print (PrState -> PrState)
-instance print String
-instance print Int
-
-nl :: PrState -> PrState
-indent :: PrState -> PrState
-unindent :: PrState -> PrState
-
-prsperse :: a [b] -> PrState -> PrState | print a & print b
-- 
cgit v1.2.3