discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Idris 2 version 0.2.0 Released
https://www.idris-lang.org/idris-2-version-020-released.html
7 comments
25/5/2020
compilers , release