aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-07 01:32:41 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-07 01:32:41 +0530
commit05c605d1363c3bce492f4360d774154f8b04c403 (patch)
tree83fb10529c325824f206c4678303895e8b177455 /README.md
parent92956b4d5c330690f85be95185a1c6ef99094111 (diff)
downloadts-types-lang-05c605d1363c3bce492f4360d774154f8b04c403.tar.gz
ts-types-lang-05c605d1363c3bce492f4360d774154f8b04c403.zip
docs: readme
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']>
]>,
}