Skip to content

Instantly share code, notes, and snippets.

View jimador's full-sized avatar

James Dunnam jimador

  • Charleston, SC
View GitHub Profile
@hediet
hediet / main.md
Last active October 20, 2025 05:46
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"];
@rauchg
rauchg / README.md
Last active April 13, 2025 04:29
require-from-twitter