Matches in DBpedia 2016-04 for { <http://www.idris-lang.org/> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- www.idris-lang.org accessdate "2013-12-06".
- www.idris-lang.org accessdate "2014-10-26".
- www.idris-lang.org isCitedBy Comparison_of_functional_programming_languages.
- www.idris-lang.org isCitedBy Haskell_(programming_language).
- www.idris-lang.org isCitedBy Idris_(programming_language).
- www.idris-lang.org title "Idris Overview".
- www.idris-lang.org title "Idris, a dependently typed language".
- www.idris-lang.org title "Idris, a language with dependent types".
- www.idris-lang.org url "http://www.idris-lang.org/".