diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-08 23:07:41 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-08 23:07:41 +0530 |
| commit | 580ef150778326262d04018460f672bda53d5696 (patch) | |
| tree | 53b93a2e381e6c15ed4e959f766fc88afc234a0f /examples/greeting.ts | |
| parent | a41d70afe7692e4ef344bc3c599115009f2dad15 (diff) | |
| download | ts-types-lang-580ef150778326262d04018460f672bda53d5696.tar.gz ts-types-lang-580ef150778326262d04018460f672bda53d5696.zip | |
chore: adds prettier
Diffstat (limited to 'examples/greeting.ts')
| -rw-r--r-- | examples/greeting.ts | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/examples/greeting.ts b/examples/greeting.ts index ac59151..20ed4fe 100644 --- a/examples/greeting.ts +++ b/examples/greeting.ts @@ -1,14 +1,11 @@ -import { PutString, Bind, Kind1, ReadLine, Seq } from '../stdlib' +import { PutString, Bind, Kind1, ReadLine, Seq, PutStringLn } from '../stdlib' interface GreetK extends Kind1<string> { - return: Seq<[ - PutString<"Hello, ">, - PutString<`${this['input']}\n`> - ]>, + return: Seq<[PutString<'Hello, '>, PutString<`${this['input']}\n`>]> } export type main = [ - PutString<"Your name? ">, - Bind<ReadLine, GreetK>, + PutStringLn<'Greetotron 6000 initializing...'>, + PutString<'Your name? '>, + Bind<ReadLine, GreetK> ] - |