aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-15 16:27:15 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-15 16:27:15 +0530
commit07cb2d6c9febe00d1025d7f6aeb3ce92b6eb4fbe (patch)
tree37c51ac89474724aab1ce2c7aa83117adb8545a6 /README.md
parenta2b3346365b418e0c3605569cd826e4f35f9a9e5 (diff)
downloadts-types-lang-main.tar.gz
ts-types-lang-main.zip
chore: adds test commandHEADmain
Diffstat (limited to '')
-rw-r--r--README.md14
1 files changed, 9 insertions, 5 deletions
diff --git a/README.md b/README.md
index 4f6900c..66c5775 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,7 @@
# TS Types lang
A runtime for typescript's **type system** that turns it into a **general purpose**, **purely functional** programming language with effects!
+
## Documentation
- [stdlib reference](./docs/modules.md)
- [examples](./examples/)
@@ -12,9 +13,8 @@ A runtime for typescript's **type system** that turns it into a **general purpos
* error handling
* test runner
* mutable references
- * evaluate js expression
+ * js ffi
* get cli args, env vars
- * define custom effects
## Example
@@ -51,6 +51,7 @@ interface HandleResponseK extends Kind1<string, Effect> {
}
```
+
## Run a types-lang module
Install it -
@@ -71,11 +72,14 @@ yarn exec tsr run ./examples/guess-number.ts
## FAQ
#### Why?
-I dunno
+Why not?
#### How?
-I dunno
+Why?
#### What?
-I dunno
+What?
+
+#### Should I use this?
+No