Gödel's System T in TypeScript2 points·deniskyashif··0 commentsExperimenting with a rudimentary type system that ensures the programs always terminate.https://deniskyashif.com/gödels-system-t-in-typescript/SaveView on HN