Idris (limbaj de programare) (Romanian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Idris (limbaj de programare)" in Romanian language version.

refsWebsite

Global rank Romanian rank

5idris-lang.org

low place

low place

1web.archive.org

1^st place

1^st place

1readthedocs.org

low place

low place

low place

low place

functor.sk

ziman.functor.sk

„Benchmark results”. ziman.functor.sk.

idris-lang.org

docs.idris-lang.org

„"Uniqueness Types"”. Accesat în 20 noiembrie 2018.
„Code Generation Targets — Idris 1.1.1 documentation”. docs.idris-lang.org.
„Frequently Asked Questions”. Accesat în 19 iulie 2015.

idris-lang.org

„Idris 1.3.1 released”. Arhivat din original la 23 octombrie 2018. Accesat în 23 octombrie 2018.
„Idris, a language with dependent types”. Accesat în 26 octombrie 2014.

readthedocs.org

idris.readthedocs.org

„Erasure By Usage Analysis — Idris 1.1.1 documentation”. idris.readthedocs.org.

web.archive.org

„Idris 1.3.1 released”. Arhivat din original la 23 octombrie 2018. Accesat în 23 octombrie 2018.