diff options
Diffstat (limited to 'fp2/week6/mart/BinTree.dcl')
-rwxr-xr-x | fp2/week6/mart/BinTree.dcl | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/fp2/week6/mart/BinTree.dcl b/fp2/week6/mart/BinTree.dcl deleted file mode 100755 index 93d8ed8..0000000 --- a/fp2/week6/mart/BinTree.dcl +++ /dev/null @@ -1,16 +0,0 @@ -definition module BinTree
-
-:: BTree a = BNode a (BTree a) (BTree a) | BLeaf
-
-t0 :: BTree Int
-t1 :: BTree Int
-t2 :: BTree Int
-t3 :: BTree Int
-t4 :: BTree Int
-t5 :: BTree Int
-t6 :: BTree Int
-t7 :: BTree Int
-
-//nodes :: // meest algemene type
-//leaves :: // meest algemene type
-//diepte :: // meest algemene type
|