Humord

Preferred term

Agda

Type

  • Innholdsbeskrivende emne

Definition

  • Programmeringsspråk for funksjonsprogrammering <uio>

Broader concept

Identifier

  • HUME62232

Editorial note

  • Lukket bemerkning: ubo24

In other languages

English

Norwegian Nynorsk

URI

http://data.ub.uio.no/humord/c62232

Download this concept