Technology

Share Community
Report Community
6

Idris 2 version 0.3.0 Released

3 years ago
Anonymous $y15ULlV7sG

https://www.idris-lang.org/idris-2-version-030-released.html

Idris 2 version 0.3.0 Released

Jan 14, 2021, 11:25am UTC
$y15ULlV7sG
https://www.idris-lang.org/idris-2-version-030-released.html