NotatieADT.icl « practicum « files - NWI-IBC029-30-Functioneel-Programmeren - Files related to NWI-IBC029 and NWI-IBC030 Functioneel Programmeren, spring 2015, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/files/practicum/NotatieADT.icl

blob: 3690eccfe5bb3037f84495f21ee912dce5d9d01e (plain) (blame)

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