Humord
Programmeringsspråk for funksjonsprogrammering <uio>
Lukket bemerkning: ubo24
Agda
Funksjonsprogrammeringsspråk
Functional programming languages
Innholdsbeskrivende emne
Topic