Hacker News new | ask | show | jobs
by ska80 2198 days ago
Idris 2 is a big step towards a production grade FP language