diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-07 01:32:41 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-07 01:32:41 +0530 |
| commit | 05c605d1363c3bce492f4360d774154f8b04c403 (patch) | |
| tree | 83fb10529c325824f206c4678303895e8b177455 /README.md | |
| parent | 92956b4d5c330690f85be95185a1c6ef99094111 (diff) | |
| download | ts-types-lang-05c605d1363c3bce492f4360d774154f8b04c403.tar.gz ts-types-lang-05c605d1363c3bce492f4360d774154f8b04c403.zip | |
docs: readme
Diffstat (limited to '')
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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']> ]>, } |
