Idris 2 version 0.3.0 Released - discu.eu

Hacker News

Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 2 comments 13/1/2021

Lobsters

Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 2 comments 13/1/2021 compilers , release

Reddit

Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 6 comments 14/1/2021 idris