From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- .../StdGameTree_en_StdRoseTree/StdRoseTree.dcl | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 files/practicum/StdGameTree_en_StdRoseTree/StdRoseTree.dcl (limited to 'files/practicum/StdGameTree_en_StdRoseTree/StdRoseTree.dcl') diff --git a/files/practicum/StdGameTree_en_StdRoseTree/StdRoseTree.dcl b/files/practicum/StdGameTree_en_StdRoseTree/StdRoseTree.dcl deleted file mode 100644 index 5d6609d..0000000 --- a/files/practicum/StdGameTree_en_StdRoseTree/StdRoseTree.dcl +++ /dev/null @@ -1,20 +0,0 @@ -definition module StdRoseTree - -import StdClass - -/** This module defines rose trees. -*/ -:: RoseTree a = Node a [RoseTree a] -:: Children a :== a -> [a] -:: PruneDepth :== Int - -iteratetree :: !(Children a) a -> RoseTree a - -root :: !(RoseTree a) -> a -children :: !(RoseTree a) -> [RoseTree a] -depth :: !(RoseTree a) -> Int - -maptree :: (a -> b) !(RoseTree a) -> RoseTree b -prunetree :: !PruneDepth !(RoseTree a) -> RoseTree a -bonsai :: !(RoseTree a) -> RoseTree a | Eq a -paths :: !(RoseTree a) -> [[a]] -- cgit v1.2.3