About: http://dbpedia.org/resource/Agda_(programming_language)__Agda__1

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property Value
dbo:developer
dbo:influenced
dbo:influencedBy
dbo:latestReleaseDate
  • 2024-08-16 (xsd:date)
dbo:latestReleaseVersion
  • 2.7.0
dbo:license
rdf:type
foaf:name
  • Agda (en)
foaf:page
owl:sameAs
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International