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