2 ms·
It's the current version. https://www.idris-lang.org/idris-2-version-060-released.html https://www.idris-lang.org/idris-2-version-060-released.html Idris 1 se
by still_grokking 4y ago
It's the current version.
https://www.idris-lang.org/idris-2-version-060-released.html https://www.idris-lang.org/idris-2-version-060-released.html
Idris 1 seems obsolete since years. No news about it for a long time.
https://www.idris-lang.org/category/news.html https://www.idris-lang.org/category/news.html