summaryrefslogtreecommitdiff
path: root/week7
diff options
context:
space:
mode:
Diffstat (limited to 'week7')
-rw-r--r--week7/camil/BewijsMeppenEnTippen.icl3
1 files changed, 3 insertions, 0 deletions
diff --git a/week7/camil/BewijsMeppenEnTippen.icl b/week7/camil/BewijsMeppenEnTippen.icl
index 1e8d91c..ca5e396 100644
--- a/week7/camil/BewijsMeppenEnTippen.icl
+++ b/week7/camil/BewijsMeppenEnTippen.icl
@@ -1,3 +1,6 @@
+// Mart Lubbers, s4109503
+// Camil Staps, s4498062
+
Zij gegeven:
:: BTree a = Tip a | Bin (BTree a) (BTree a)