aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--README.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/README.md b/README.md
index 8a749a3..1f82e4f 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 pure functional programming language!
+A runtime for ts types 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
@@ -7,13 +7,13 @@ Take a look at the [./examples](./examples) directory for examples on how to wri
### Example
```typescript
-import { PutString, Bind, Kind1, ReadLine, Do } from 'ts-types-lang/stdlib'
+import { PutString, PutStringLn, Bind, Kind1, ReadLine, Do } from 'ts-types-lang/stdlib'
// :: string -> Effect ()
interface GreetK extends Kind1<string> {
return: Do<[
PutString<"Hello, ">,
- PutString<`${this['input']}\n`>
+ PutStringLn<this['input']>
]>,
}