discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Idris 2 version 0.2.1 Released
https://www.idris-lang.org/idris-2-version-021-released.html
8 comments
16/8/2020
plt , release