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 --- 1415/files/practicum/NotatieADT.icl | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 1415/files/practicum/NotatieADT.icl (limited to '1415/files/practicum/NotatieADT.icl') diff --git a/1415/files/practicum/NotatieADT.icl b/1415/files/practicum/NotatieADT.icl new file mode 100644 index 0000000..3690ecc --- /dev/null +++ b/1415/files/practicum/NotatieADT.icl @@ -0,0 +1,7 @@ +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