Idris (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Idris (programming language)" in English language version.

refsWebsite
Global rank English rank
low place
low place
383rd place
320th place
1st place
1st place
3,503rd place
3,612th place
low place
low place
low place
low place

functor.sk (Global: low place; English: low place)

ziman.functor.sk

github.com (Global: 383rd place; English: 320th place)

idris-lang.org (Global: low place; English: low place)

docs.idris-lang.org

idris-lang.org

readthedocs.org (Global: low place; English: low place)

idris.readthedocs.org

st-and.ac.uk (Global: 3,503rd place; English: 3,612th place)

www-fp.cs.st-and.ac.uk

  • Brady, Edwin (12 December 2007). "Index of /~eb/darcs/Idris". University of St Andrews School of Computer Science. Archived from the original on 2008-03-20.

web.archive.org (Global: 1st place; English: 1st place)

  • Brady, Edwin (12 December 2007). "Index of /~eb/darcs/Idris". University of St Andrews School of Computer Science. Archived from the original on 2008-03-20.