From 580ef150778326262d04018460f672bda53d5696 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sun, 8 Jan 2023 23:07:41 +0530
Subject: chore: adds prettier

---
 examples/greeting.ts | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

(limited to 'examples/greeting.ts')

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>
 ]
-
-- 
cgit v1.3.1