Skip to main content

Humord

Search from vocabulary

Content language

Concept information

... > Informatikk og informasjonsteknologi > Informatikk > Databehandling > Programmering > Programmeringsspråk > Funksjonsprogrammeringsspråk > Agda

Preferred term

Agda  

Type

  • Innholdsbeskrivende emne

Definition

  • Programmeringsspråk for funksjonsprogrammering <uio>

Broader concept

Entry terms

  • Agda

Identifier

  • HUME62232

Editorial note

  • Lukket bemerkning: ubo24

In other languages

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD Created 1/26/24, last modified 2/7/24