diff options
Diffstat (limited to 'week7')
| -rw-r--r-- | week7/camil/BewijsMeppenEnTippen.icl | 3 | 
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)
  | 
