Idris (Chinese Wikipedia)

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

refsWebsite
Global rank Chinese rank
1st place
1st place
383rd place
336th place
low place
low place
3,503rd place
2,468th place
1,547th place
1,388th place
low place
low place

github.com

idris-lang.org

itu.dk

st-and.ac.uk

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

st-andrews.ac.uk

cs.st-andrews.ac.uk

web.archive.org