summaryrefslogtreecommitdiff
path: root/files/practicum/NotatieADT.icl
blob: 3690eccfe5bb3037f84495f21ee912dce5d9d01e (plain) (blame)
1
2
3
4
5
6
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