ادریس (زبان برنامه‌نویسی) (Persian Wikipedia)

Analysis of information sources in references of the Wikipedia article "ادریس (زبان برنامه‌نویسی)" in Persian language version.

refsWebsite

Global rank Persian rank

7idris-lang.org

low place

low place

1web.archive.org

1^st place

1^st place

3,503^rd place

3,926^th place

383^rd place

1,455^th place

github.com

"Release 1.3.3". Retrieved 2020-05-25.

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 1.1.1 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 2 version 0.5.1 Released". www.idris-lang.org. Retrieved 2021-10-16.
"Idris, a language with dependent types". Retrieved 2014-10-26.

st-and.ac.uk

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

Brady, Edwin (12 دسامبر 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 دسامبر 2007). "Index of /~eb/darcs/Idris". University of St Andrews School of Computer Science. Archived from the original on 2008-03-20.