Updates to readme

leopiney · Apr 18, 2019 · d5c8dcd · d5c8dcd
1 parent d56c65e
commit d5c8dcd
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -1,10 +1,9 @@
 # Tensor Safe
 
-`tensor-safe` is a framework to define deep learning models which structure is verified on
-compilation time. If the models are valid, these can be compiled to Keras framework in Python
-or JavaScript.
+`tensor-safe` is a dependently typed framework to define deep learning models which structure is verified on
+compilation time. If the models are valid, these can be compiled to Keras framework in Python or JavaScript.
 
-## Instalation instructions
+## Building instructions and development tools
 
 1. Install `ghc-mod`, `hpack` and `stylish-haskell` with `stack install`