Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/resource/Idris_(programming_language)> }
Showing triples 1 to 7 of
7
with 100 triples per page.
- Agda_(programming_language) influenced Idris_(programming_language).
- Haskell_(programming_language) influenced Idris_(programming_language).
- Rust_(programming_language) influenced Idris_(programming_language).
- Idris wikiPageDisambiguates Idris_(programming_language).
- Agda_(programming_language) influenced Idris_(programming_language).
- Rust_(programming_language) influenced Idris_(programming_language).
- Idris_(programming_language) primaryTopic Idris_(programming_language).