6 ms·I'm happy to see people learning the Curry–Howard isomorphism the fun way.by maxbendick 3y agoI'm happy to see people learning the Curry–Howard isomorphism the fun way.