Hacker News new | ask | show | jobs
by maxbendick 1057 days ago
I'm happy to see people learning the Curry–Howard isomorphism the fun way.