Hacker News new | ask | show | jobs
TypeScript and the Curry-Howard Correspondence (elie.rotenberg.io)
1 points by elierotenberg 638 days ago