docs: readme

2 files changed, 3 insertions, 6 deletions

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 ()
diff --git a/examples/file.ts b/examples/file.ts
index b0942de..279a51b 100644
--- a/examples/file.ts
+++ b/examples/file.ts
@@ -1,4 +1,4 @@
-import { Bind, Kind1, ReadFile, PutStringLn } from '../stdlib'
+import { Bind, Kind1, ReadFile, WriteFile, PutStringLn } from '../stdlib'
 
 interface PrintK extends Kind1<string> {
   return: PutStringLn<this['input']>