3 ms·Gödel's System T in TypeScript2 points by deniskyashif 7y agoExperimenting with a rudimentary type system that ensures the programs always terminate. https://deniskyashif.com/gödels-system-t-in-typescript/