Hacker News new | ask | show | jobs
Idris 1.1.0 released (idris-lang.org)
2 points by subtenante 3238 days ago