Hacker News new | ask | show | jobs
by olzd 3151 days ago
Idris certainly is nice but I doubt anyone uses it for real stuff.