From c79c5bf7a44c59cd1e484a538e2dddf264012f57 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sat, 7 Jan 2023 01:42:48 +0530
Subject: docs: readme

---
 README.md | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 1f82e4f..c52e304 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 # TS Types lang [WIP]
-A runtime for ts types that turns it into a general purpose, purely functional programming language!
+A runtime for typescript's **type system** that turns it into a **general purpose**, **purely functional** programming language!
 
 Take a look at the [./examples](./examples) directory for examples on how to write a program in typescript types
 
@@ -11,10 +11,7 @@ import { PutString, PutStringLn, Bind, Kind1, ReadLine, Do } from 'ts-types-lang
 
 // :: string -> Effect ()
 interface GreetK extends Kind1<string> {
-  return: Do<[
-    PutString<"Hello, ">,
-    PutStringLn<this['input']>
-  ]>,
+  return: PutString<`Hello, ${this['input']}`>,
 }
 
 // main :: [Effect ()] | Effect ()
-- 
cgit v1.3.1