This HTML5 document contains 12 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n10http://dbpedia.org/resource/Epigram_(programming_language)
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11http://wiki.portal.chalmers.se/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n7http://dbpedia.org/resource/Idris_(programming_language)
n6http://code.haskell.org/Agda/
n9http://dbpedia.org/resource/Haskell_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
n2http://dbpedia.org/resource/Agda_(programming_language)
Subject Item
n2:
rdfs:comment
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The current version of Agda was originally known as Agda 2. The original Agda system was developed at Chalmers by Catarina Coquand in 1999.
foaf:name
Agda
foaf:page
n11:agda
dbpedia-owl:designer
dbpedia:Ulf_Norell
dbpedia-owl:developer
dbpedia:Ulf_Norell
dbpedia-owl:influenced
n7:
dbpedia-owl:influencedBy
dbpedia:Coq n9: n10:
dbpedia-owl:latestReleaseDate
2014-11-15Z
dbpedia-owl:latestReleaseVersion
2.4.2.1
dbpedia-owl:license
n6:LICENSE