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/NotatieADT.icl | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 files/practicum/NotatieADT.icl (limited to 'files/practicum/NotatieADT.icl') diff --git a/files/practicum/NotatieADT.icl b/files/practicum/NotatieADT.icl deleted file mode 100644 index 3690ecc..0000000 --- a/files/practicum/NotatieADT.icl +++ /dev/null @@ -1,7 +0,0 @@ -module NotatieADT - -:: Dag = Maandag | Dinsdag | Woensdag | Donderdag | Vrijdag | Zaterdag | Zondag -:: Nat = Nat Int -:: Getal = Geheel Nat | Decimaal Real -:: Functies = F0 Int | F1 (Int -> Int) | F2 (Int Int -> Int) -:: Void = Void -- cgit v1.2.3