Gödel's System T in TypeScript

2 points by deniskyashif 7y ago ↗ HN

Experimenting with a rudimentary type system that ensures the programs always terminate.

https://deniskyashif.com/gödels-system-t-in-typescript/