diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-07 01:42:48 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-07 01:42:48 +0530 |
| commit | c79c5bf7a44c59cd1e484a538e2dddf264012f57 (patch) | |
| tree | 43d1518824b55901f69ef800bf8db987d8f07d95 /README.md | |
| parent | 05c605d1363c3bce492f4360d774154f8b04c403 (diff) | |
| download | ts-types-lang-c79c5bf7a44c59cd1e484a538e2dddf264012f57.tar.gz ts-types-lang-c79c5bf7a44c59cd1e484a538e2dddf264012f57.zip | |
docs: readme
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -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 () |