Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Anbefalt term

Agda  

Type

  • Innholdsbeskrivende emne

Definisjon

  • Programmeringsspråk for funksjonsprogrammering

Henvisningsterm

  • Agda

Hører til inndeling

Identifikator

  • REAL031691

På andre språk

URI

http://data.ub.uio.no/realfagstermer/c031691

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 07.06.2016, sist endret 07.06.2016