Hacker News new | ask | show | jobs
Idris 0.99.2 Released (idris-lang.org)
1 points by subtenante 3366 days ago