Show HN: Checking the Collatz conjecture using only TypeScript's type system https://ift.tt/2RIbACn

Show HN: Checking the Collatz conjecture using only TypeScript's type system https://ift.tt/2P7jfsn December 10, 2019 at 10:00PM