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 --- files/practicum/StamBoom.dcl | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 files/practicum/StamBoom.dcl (limited to 'files/practicum/StamBoom.dcl') diff --git a/files/practicum/StamBoom.dcl b/files/practicum/StamBoom.dcl deleted file mode 100644 index b8bf99e..0000000 --- a/files/practicum/StamBoom.dcl +++ /dev/null @@ -1,27 +0,0 @@ -definition module StamBoom - -import GenTree - -:: FamilyTree :== GenTree Couple Single -:: Couple = Couple Person Person -:: Single = Single Person -:: Person = Person DateOfBirth Gender String -:: Gender = Male | Female -:: DateOfBirth = DoB Year Month Day -:: Year :== Int -:: Month :== Int -:: Day :== Int - -instance < DateOfBirth -instance == DateOfBirth -instance == Couple -instance == Person -instance == Gender - -okFamilyTree :: FamilyTree -> Bool -rootAncestor :: FamilyTree -> Person -inFamilyTree :: Person FamilyTree -> Bool -marry :: Person Person FamilyTree -> FamilyTree -addChild :: Person Couple FamilyTree -> FamilyTree -children :: Person FamilyTree -> [Person] -offspring :: Person FamilyTree -> [Person] -- cgit v1.2.3