Hacker News new | ask | show | jobs
by drumnerd 407 days ago
This was obviously coming, and it should be tuned to Haskell and Agda