diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-09 17:12:43 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-09 17:12:43 +0530 |
| commit | efdcf6119e5de99a837189a06a2a23a088432f2d (patch) | |
| tree | 1875530fa513baccc6d3c843a0b0357d8d7bea95 /examples/guess-number.ts | |
| parent | 580ef150778326262d04018460f672bda53d5696 (diff) | |
| download | ts-types-lang-efdcf6119e5de99a837189a06a2a23a088432f2d.tar.gz ts-types-lang-efdcf6119e5de99a837189a06a2a23a088432f2d.zip | |
feat: wow
Diffstat (limited to 'examples/guess-number.ts')
| -rw-r--r-- | examples/guess-number.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/guess-number.ts b/examples/guess-number.ts index d08c616..f03ee10 100644 --- a/examples/guess-number.ts +++ b/examples/guess-number.ts @@ -1,5 +1,4 @@ import { - Print, PutString, Bind, Kind1, @@ -21,7 +20,7 @@ interface AskForGuess<N extends number, Attempts extends 0[]> : Do< [ PutString<'Wrong guess. Total attempts'>, - Print<`${[...Attempts, 0] extends infer Ls extends 0[] + PutStringLn<` ${[...Attempts, 0] extends infer Ls extends 0[] ? Ls['length'] : 0}/5`>, (StartGuessing<[...Attempts, 0]> & { input: N })['return'] |