Idris (язык программирования) (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Idris (язык программирования)" in Russian language version.

refsWebsite

Global rank Russian rank

7web.archive.org

1^st place

1^st place

2idris-lang.org

low place

low place

383^rd place

298^th place

1st-andrews.ac.uk

1,547^th place

1,014^th place

low place

low place

bentnib.org

The Syntax and Semantics of Quantitative Type Theory (неопр.). Дата обращения: 25 мая 2020. Архивировано 9 ноября 2020 года.

github.com

Release 0.5.1. Архивировано 1 апреля 2022. Дата обращения: 1 апреля 2022.

idris-lang.org

idris-lang.org

Idris, a language with dependent types (неопр.). Дата обращения: 26 октября 2014. Архивировано 11 мая 2021 года.

docs.idris-lang.org

Frequently Asked Questions (неопр.). Дата обращения: 19 июля 2015. Архивировано 21 июля 2015 года.

st-andrews.ac.uk

eb.host.cs.st-andrews.ac.uk

Cross-platform Compilers for Functional Languages (неопр.). Дата обращения: 18 мая 2017. Архивировано 14 мая 2015 года.

web.archive.org

Release 0.5.1. Архивировано 1 апреля 2022. Дата обращения: 1 апреля 2022.
Idris, a language with dependent types (неопр.). Дата обращения: 26 октября 2014. Архивировано 11 мая 2021 года.
https://web.archive.org/web/20080320233322/http://www-fp.cs.st-and.ac.uk/~eb/darcs/Idris/
https://web.archive.org/web/20080322004024/http://www.cs.st-andrews.ac.uk:80/~eb/
Cross-platform Compilers for Functional Languages (неопр.). Дата обращения: 18 мая 2017. Архивировано 14 мая 2015 года.
Frequently Asked Questions (неопр.). Дата обращения: 19 июля 2015. Архивировано 21 июля 2015 года.
The Syntax and Semantics of Quantitative Type Theory (неопр.). Дата обращения: 25 мая 2020. Архивировано 9 ноября 2020 года.