Idris (programming language) (English Wikipedia)

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

Last modified: 19:13:57, 20 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

74idris-lang.org

low place

low place

380^th place

337^th place

11web.archive.org

1^st place

1^st place

4,765^th place

5,091^st place

11idris2.readthedocs.io

low place

low place

11readthedocs.org

low place

low place

low place

low place

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

ziman.functor.sk

"Benchmark results". ziman.functor.sk.

github.com (Global: 380^th place; English: 337^th place)

"Release [v0.8.0] 2025 Hallowe'en Release". GitHub. Retrieved 2025-08-31.
"External Backends". Idris2 Wiki. Retrieved 1 November 2025.
"idris-lang/Idris2". GitHub. Retrieved 2021-04-11.

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

docs.idris-lang.org

"Uniqueness Types". Idris 1.3.1 Documentation. Retrieved 2019-09-26.
"Frequently Asked Questions". Retrieved 2015-07-19.
"Syntax Guide – Idris 1.3.2 documentation". Retrieved 27 April 2020.

idris-lang.org

"Idris, a language with dependent types". Retrieved 2014-10-26.

idris2.readthedocs.io (Global: low place; English: low place)

"Compiling to Executables". Documentation for the Idris 2 Language. Retrieved 1 November 2025.

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

idris.readthedocs.org

"Erasure By Usage Analysis – Idris latest documentation". idris.readthedocs.org.

st-and.ac.uk (Global: 4,765^th place; English: 5,091^st 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: 1^st place; English: 1^st 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.