From c79c5bf7a44c59cd1e484a538e2dddf264012f57 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Sat, 7 Jan 2023 01:42:48 +0530 Subject: docs: readme --- README.md | 7 ++----- examples/file.ts | 2 +- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 1f82e4f..c52e304 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, 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 { - return: Do<[ - PutString<"Hello, ">, - PutStringLn - ]>, + return: PutString<`Hello, ${this['input']}`>, } // main :: [Effect ()] | Effect () diff --git a/examples/file.ts b/examples/file.ts index b0942de..279a51b 100644 --- a/examples/file.ts +++ b/examples/file.ts @@ -1,4 +1,4 @@ -import { Bind, Kind1, ReadFile, PutStringLn } from '../stdlib' +import { Bind, Kind1, ReadFile, WriteFile, PutStringLn } from '../stdlib' interface PrintK extends Kind1 { return: PutStringLn -- cgit v1.3.1