From d5c8dcd88565d5d57b370d220eda31fb5d63d461 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Leonardo=20Pi=C3=B1eyro?= Date: Thu, 18 Apr 2019 17:09:42 -0300 Subject: [PATCH] Updates to readme --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 6036263..aec8f25 100644 --- 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`