diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-14 11:27:51 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-14 11:27:51 +0530 |
| commit | b347afc70c305b47860a40bac43c3fe407a3c25a (patch) | |
| tree | f8bdf2ab6bbd070e6cf1fae8b16a25c268c765ad /examples/greeting.ts | |
| parent | 97817711d3eebaacc354a77aa83bc9544cc87d42 (diff) | |
| download | ts-types-lang-b347afc70c305b47860a40bac43c3fe407a3c25a.tar.gz ts-types-lang-b347afc70c305b47860a40bac43c3fe407a3c25a.zip | |
chore: prettier
Diffstat (limited to 'examples/greeting.ts')
| -rw-r--r-- | examples/greeting.ts | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/examples/greeting.ts b/examples/greeting.ts index 8ed2181..72edde2 100644 --- a/examples/greeting.ts +++ b/examples/greeting.ts @@ -10,12 +10,11 @@ export type main = [ PutStringLn<'----------------'>, PutString<'Your name? '>, - Bind<ReadLine, <name extends string>() => - PutStringLn<`Hello, ${name}`>>, + Bind<ReadLine, <name extends string>() => PutStringLn<`Hello, ${name}`>>, PutStringLn<'----------------'>, PutString<'Your purpose in life? '>, Bind<ReadLine, ResponseK>, - PutStringLn<'----------------'>, + PutStringLn<'----------------'> ] |