Show HN: Checking the Collatz conjecture using only TypeScript's type system https://ift.tt/2RIbACn December 10, 2019 Get link Facebook X Pinterest Email Other Apps Show HN: Checking the Collatz conjecture using only TypeScript's type system https://ift.tt/2P7jfsn December 11, 2019 at 02:30AM