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

6idris-lang.org

low place

low place

383^rd place

320^th place

1web.archive.org

1^st place

1^st place

3,503^rd place

3,612^th place

1readthedocs.org

low place

low place

low place

low place

functor.sk

ziman.functor.sk

"Benchmark results". ziman.functor.sk.

github.com

"Release 1.3.4". GitHub. Retrieved 2022-12-31.
"Idris 2 version 0.7.0 Released". GitHub. Retrieved 2024-04-20.
"idris-lang/Idris2". GitHub. Retrieved 2021-04-11.

idris-lang.org

docs.idris-lang.org

"Uniqueness Types". Idris 1.3.1 Documentation. Retrieved 2019-09-26.
"Elaborator Reflection – Idris 1.3.2 documentation". Retrieved 27 April 2020.
"Code Generation Targets – Idris Latest documentation". docs.idris-lang.org.
"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.

readthedocs.org

idris.readthedocs.org

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

st-and.ac.uk

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

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.