Erik Davtyan erodactyl

## main.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                erodactyl
                / main.md
            
            
              Created
              March 1, 2023 16:55
                — forked from hediet/main.md
            
              
                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"];