Hacker News new | ask | show | jobs
by nesarkvechnep 105 days ago
Idris would be even better.