Skip to content

Instantly share code, notes, and snippets.

@TessenR
TessenR / LinksDescription.md
Last active August 30, 2023 21:34
Source generators in action links
@hediet
hediet / main.md
Last active March 16, 2025 17:41
Proof that TypeScript's Type System is Turing Complete
type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];