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

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

PrefixNamespace IRI
n6http://dbpedia.org/resource/Epigram_(programming_language)
n8http://idris-lang.org/
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://dbpedia.org/resource/Idris_(programming_language)
n11http://dbpedia.org/resource/ML_(programming_language)
n4http://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/
n5http://dbpedia.org/resource/Agda_(programming_language)
Subject Item
n2:
rdfs:comment
Idris is a general-purpose purely functional programming language with dependent types. The type system is similar to the one used by Agda.The language supports interactive theorem-proving comparable to Coq, including tactics, while the focus remains on general-purpose programming even before theorem-proving.
foaf:name
Idris
foaf:page
n8:
dbpedia-owl:influencedBy
n4: n5: n6: dbpedia:Coq n11:
dbpedia-owl:latestReleaseDate
2015-08-31Z
dbpedia-owl:latestReleaseVersion
0.9.19