Hacker News new | ask | show | jobs
by peterpost2 53 days ago
I had not heard of Agda before, I'll have to check that out. Thanks!