mirror of
https://github.com/HigherOrderCO/Kind.git
synced 2024-08-16 23:10:31 +03:00
add usage notes
This commit is contained in:
parent
c4c909994d
commit
9c5ecdeb16
15
README.md
15
README.md
@ -5,4 +5,17 @@ Kind1 has been developed in JavaScript, which wasn't meant to be a long-term
|
|||||||
solution, but allowed us to explore self-types. Recently, we started developing
|
solution, but allowed us to explore self-types. Recently, we started developing
|
||||||
Kind2 for [HVM1](https://github.com/HigherOrderCO/HVM1), but it has been
|
Kind2 for [HVM1](https://github.com/HigherOrderCO/HVM1), but it has been
|
||||||
discontinued when we started working on HVM2. In this repository, we'll remake
|
discontinued when we started working on HVM2. In this repository, we'll remake
|
||||||
and continue Kind2's development, now targetting HVM2.
|
and continue Kind2's development, now targetting HVM2. Kind2 will be fully
|
||||||
|
implemented in itself. Temporarily, we're using `TypeScript+HVM1` to aid on the
|
||||||
|
bootstrapping process.
|
||||||
|
|
||||||
|
Usage
|
||||||
|
=====
|
||||||
|
|
||||||
|
1. Install [NPM](https://www.npmjs.com/).
|
||||||
|
|
||||||
|
2. Install [HVM1](https://github.com/HigherOrderCO/HVM1).
|
||||||
|
|
||||||
|
3. Install Kind2: `npm i -g` (from this directory)
|
||||||
|
|
||||||
|
4. Enter `book/` and run with `kind2 [check|run] term_name`.
|
||||||
|
Loading…
Reference in New Issue
Block a user