Hacker News new | ask | show | jobs
by michaelbarton 107 days ago
I wonder if then Idris would be even better than that since it has even more typing