Idris (プログラミング言語) (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Idris (プログラミング言語)" in Japanese language version.

refsWebsite

Global rank Japanese rank

5idris-lang.org

low place

low place

1web.archive.org

1^st place

1^st place

3,503^rd place

5,514^th place

383^rd place

521^st place

github.com

“Release 1.3.4”. 2022年12月31日閲覧。

idris-lang.org

docs.idris-lang.org

“Uniqueness Types”. Idris 1.3.1 Documentation. 2019年9月26日閲覧。
“Elaborator Reflection — Idris 1.3.2 documentation”. 27 April 2020閲覧。
“Code Generation Targets — Idris Latest documentation”. docs.idris-lang.org. 2023年5月14日閲覧。

idris-lang.org

“Idris 2 version 0.6.0 Released”. www.idris-lang.org. 2022年12月31日閲覧。
“Idris, a language with dependent types”. 2014年10月26日閲覧。

st-and.ac.uk

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

Brady, Edwin (2007年12月12日). “Index of /~eb/darcs/Idris”. University of St Andrews School of Computer Science. 2008年3月20日時点のオリジナルよりアーカイブ。2023年5月14日閲覧。

web.archive.org

Brady, Edwin (2007年12月12日). “Index of /~eb/darcs/Idris”. University of St Andrews School of Computer Science. 2008年3月20日時点のオリジナルよりアーカイブ。2023年5月14日閲覧。