From ea2906be1ef958230e8f4e98f42a7a7aca0ade7d Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 1 Dec 2017 20:29:01 +0100
Subject: Finish assignment 10

---
 assignment-10/sets.icl | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'assignment-10')

diff --git a/assignment-10/sets.icl b/assignment-10/sets.icl
index d4cee20..710727b 100644
--- a/assignment-10/sets.icl
+++ b/assignment-10/sets.icl
@@ -1,4 +1,7 @@
 module sets
+//
+// Laurens Kuijper, s4467299
+// Camil Staps, s4498062
 
 import StdArray
 import StdBool
@@ -176,11 +179,11 @@ where
 	pr (s :. t)              = between " :. " s t
 
 /**
- * I did not manage to get the iTasks simulator working, because the compiler
+ * We did not manage to get the iTasks simulator working, because the compiler
  * 'cannot build a generic representation of an existential type'.
- * I'm sure it would be *possible* by implementing an Editor manually, forcing
- * all Bimaps to bimapId and using cast :: a -> b in case of type errors, but
- * did not try to do this due to time constraints.
+ * We're sure it would be *possible* by implementing an Editor manually,
+ * forcing all Bimaps to bimapId and using cast :: a -> b in case of type
+ * errors, but did not try to do this due to time constraints.
  */
 
 Start = (evalStateT (eval stmt) 'M'.newMap, print stmt)
-- 
cgit v1.2.3