Comment on Show HN: Conway's Game of Life in TypeScript's type systemComments−maxbendick3yI'm happy to see people learning the Curry–Howard isomorphism the fun way.
Comments
I'm happy to see people learning the Curry–Howard isomorphism the fun way.