Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Idris_(programming_language)> }
Showing triples 1 to 26 of
26
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) wikiPageWikiLink Idris_(programming_language).
- Comparison_of_functional_programming_languages wikiPageWikiLink Idris_(programming_language).
- Dependent_type wikiPageWikiLink Idris_(programming_language).
- General-purpose_programming_language wikiPageWikiLink Idris_(programming_language).
- Generational_list_of_programming_languages wikiPageWikiLink Idris_(programming_language).
- Haskell_(programming_language) wikiPageWikiLink Idris_(programming_language).
- History_of_software wikiPageWikiLink Idris_(programming_language).
- Idris wikiPageWikiLink Idris_(programming_language).
- Induction-recursion_(type_theory) wikiPageWikiLink Idris_(programming_language).
- Intuitionistic_type_theory wikiPageWikiLink Idris_(programming_language).
- List_of_arbitrary-precision_arithmetic_software wikiPageWikiLink Idris_(programming_language).
- List_of_programming_languages wikiPageWikiLink Idris_(programming_language).
- List_of_programming_languages_by_type wikiPageWikiLink Idris_(programming_language).
- Option_type wikiPageWikiLink Idris_(programming_language).
- Rust_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Substructural_type_system wikiPageWikiLink Idris_(programming_language).
- Timeline_of_programming_languages wikiPageWikiLink Idris_(programming_language).
- Type_theory wikiPageWikiLink Idris_(programming_language).
- Whitespace_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Agda_(programming_language) influenced Idris_(programming_language).
- Rust_(programming_language) influenced Idris_(programming_language).
- Idris_(programming_language) primaryTopic Idris_(programming_language).