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