From 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 16 Apr 2015 21:22:20 +0200 Subject: update to fp2 yay, public and licence --- fp1/week7/camil/BinTree.dcl | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 fp1/week7/camil/BinTree.dcl (limited to 'fp1/week7/camil/BinTree.dcl') diff --git a/fp1/week7/camil/BinTree.dcl b/fp1/week7/camil/BinTree.dcl new file mode 100644 index 0000000..7774ece --- /dev/null +++ b/fp1/week7/camil/BinTree.dcl @@ -0,0 +1,16 @@ +definition module BinTree + +:: Tree a = Node a (Tree a) (Tree a) | Leaf + +t0 :: Tree Int +t1 :: Tree Int +t2 :: Tree Int +t3 :: Tree Int +t4 :: Tree Int +t5 :: Tree Int +t6 :: Tree Int +t7 :: Tree Int + +//nodes :: // meest algemene type +//leaves :: // meest algemene type +//diepte :: // meest algemene type -- cgit v1.2.3