Added synopsis, categories and description for library

Author: leopiney

package.yaml

@@ -2,9 +2,12 @@ name: tensor-safe
 version: 0.1.0.0
 github: "leopiney/tensor-safe"
 license: BSD3
-author: "Leonardo Pineyro"
-maintainer: "[email protected]"
-copyright: "2019 Leonardo Pineyro"
+author: Leonardo Pineyro
+maintainer: [email protected]
+copyright: 2019 Leonardo Pineyro
+synopsis: Create valid deep neural network architectures
+description: TensorSafe provides a very simple API to create deep neural networks structures which are validated using Dependent Types. Given a list of Layers and an initial Shape, TensorSafe is able to check and corroborate the structure of the network. Also, it's possible to extract the definition and compile it to a target language like Python and JavaScript.
+category: AI, Dependent Types, Language, Library, Program
 
 extra-source-files:
   - README.md