Hacker News new | ask | show | jobs
by pjmlp 4115 days ago
I have been following Idris, quite cool.