diff --git a/README.md b/README.md
index c0f8364e..a894e390 100644
--- a/README.md
+++ b/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
 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
-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`.