Hacker News new | ask | show | jobs
by ixaxaar 1830 days ago
Hey type hacking is hard. Agda is kinda easier for someone who knows haskell, but hard nonetheless.