Skip to main
Skosmos
Vocabularies
About
Feedback
på bokmål
på nynorsk
Humord
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidebar listing: list and traverse vocabulary contents by a criterion
A-Z
Hierarchy
Groups
New
...
Informatics and information technology
Informatics
Computing
Programming
Programming languages
Functional programming languages
Agda
Preferred term
Agda
Type
Topic
Broader concept
Functional programming languages
Identifier
HUME62232
In other languages
Norwegian Bokmål
Agda
Norwegian Nynorsk
Agda
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