From 05c605d1363c3bce492f4360d774154f8b04c403 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Sat, 7 Jan 2023 01:32:41 +0530 Subject: docs: readme --- README.md | 6 +++--- 1 file 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 { return: Do<[ PutString<"Hello, ">, - PutString<`${this['input']}\n`> + PutStringLn ]>, } -- cgit v1.3.1