Idris (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Idris" in Chinese language version.

Last modified: 16:55:12, 26 December 2025 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

55web.archive.org

1^st place

1^st place

380^th place

277^th place

22idris-lang.org

low place

low place

4,765^th place

3,037^th place

11st-andrews.ac.uk

1,053^rd place

1,641^st place

low place

low place

github.com (Global: 380^th place; Chinese: 277^th place)

Release 1.3.3. 2020年5月23日 [2020年5月24日].
Release 1.3.3. [2020-05-25]. （原始内容存档于2021-02-04）.

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

Idris - News. [2013-12-24]. （原始内容存档于2013-12-24）.
Idris - FAQ. [2013-12-24]. （原始内容存档于2012-03-11）.

itu.dk (Global: low place; Chinese: low place)

Christiansen, David. Dependent type providers (PDF). 2013 [2014-08-26]. （原始内容 (PDF)存档于2017-08-09）.

st-and.ac.uk (Global: 4,765^th place; Chinese: 3,037^th place)

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

Brady, Edwin. Index of /~eb/darcs/Idris. University of St Andrews School of Computer Science. 2007-12-12. （原始内容存档于2008-03-20）.

st-andrews.ac.uk (Global: 1,053^rd place; Chinese: 1,641^st place)

cs.st-andrews.ac.uk

Slides from Systems Programming with Dependent Types at DTP11 (PDF). ^{[永久失效連結]}

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

Brady, Edwin. Index of /~eb/darcs/Idris. University of St Andrews School of Computer Science. 2007-12-12. （原始内容存档于2008-03-20）.
Release 1.3.3. [2020-05-25]. （原始内容存档于2021-02-04）.
Idris - News. [2013-12-24]. （原始内容存档于2013-12-24）.
Idris - FAQ. [2013-12-24]. （原始内容存档于2012-03-11）.
Christiansen, David. Dependent type providers (PDF). 2013 [2014-08-26]. （原始内容 (PDF)存档于2017-08-09）.