Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Agda_(programming_language)> . }
Showing items 1 to 11 of
11
with 100 items per page.
- Coq influenced Agda_(programming_language).
- Haskell_(programming_language) influenced Agda_(programming_language).
- Idris_(programming_language) influencedBy Agda_(programming_language).
- Agda wikiPageDisambiguates Agda_(programming_language).
- Agda2 wikiPageRedirects Agda_(programming_language).
- Agda_(proof_assistant) wikiPageRedirects Agda_(programming_language).
- Agda_(theorem_prover) wikiPageRedirects Agda_(programming_language).
- Agda_theorem_prover wikiPageRedirects Agda_(programming_language).
- Coq influenced Agda_(programming_language).
- Idris_(programming_language) influencedBy Agda_(programming_language).
- Agda_(programming_language) primaryTopic Agda_(programming_language).