diff options
| author | Camil Staps | 2017-12-01 20:29:01 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-12-01 20:29:01 +0100 |
| commit | ea2906be1ef958230e8f4e98f42a7a7aca0ade7d (patch) | |
| tree | b6b581640be2637a0bc6dbfd99682693cfc99294 /assignment-10 | |
| parent | Add printing view (diff) | |
Finish assignment 10
Diffstat (limited to 'assignment-10')
| -rw-r--r-- | assignment-10/sets.icl | 11 |
1 files changed, 7 insertions, 4 deletions
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) |