Hacker News new | ask | show | jobs
by reeses 4739 days ago
Ahh...that explains the seven users of Agda.