wr
hn
Top
New
Best
Ask
Show
Jobs
Back
G
github.com
Idris 2 0.6.0 is now available for the JVM
162 points
ska80
3 years ago
64 comments
Discussion
