Comentr
$4-t3eKwUtf
log in
sign up
Technology
Join this community
Share Community
Report Community
6
Report
Idris 2 version 0.3.0 Released
3 years ago
Anonymous
$y15ULlV7sG
https://www.idris-lang.org/idris-2-version-030-released.html
×
Save changes
Cancel
0
Comments
6
Voters
×
Comment
Comment Anonymously
0
Sorted By
Best Rated
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
80
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel