diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,7 +1,31 @@
 agda2train: An Agda backend to generate training data for machine learning
 ===========================================================================
+[![CI](https://github.com/omelkonian/agda2train/workflows/CI/badge.svg)](https://github.com/omelkonian/agda2train/actions) [![Hackage](https://repology.org/badge/version-for-repo/hackage/haskell:agda2train.svg)](http://hackage.haskell.org/package/agda2train)
 
-This is a work in progress.
+This is work in progress and a neural network trained on these data to provide
+*premise selection* is under way.
+
+## How to run
+
+The `agda2train` package is published on Hackage, so one can simply:
+```bash
+$ cabal install agda2train
+$ agda2train SomeFile.agda
+```
+
+Alternatively, assuming a working Haskell installation (`cabal` available),
+one can clone this repo and use the provided Makefile to build the package locally,
+as well as run our test suite:
+```bash
+$ git clone git@github.com:omelkonian/agda2train.git
+$ cd agda2train
+$ make build # build package
+$ make install # install `agda2train` executable
+$ make test # run the test-suite (based on golden files in `test/golden/*`)
+$ make repl # REPL for developers
+$ make allTests # extract JSON data from all example files in `test/*`
+$ make stdlib # extract JSON data from Agda's standard library
+```
 
 ## Relevant Agda issues
 
diff --git a/agda2train.cabal b/agda2train.cabal
--- a/agda2train.cabal
+++ b/agda2train.cabal
@@ -1,13 +1,17 @@
 cabal-version:      2.4
 name:               agda2train
-version:            0.0.1.0
+version:            0.0.2.0
 synopsis:           Agda backend to generate training data for machine learning purposes.
-description:        -
+description:
+  Compiles Agda modules to JSON files, containing information about
+  the imported scope of each module, its definitions and information about each
+  sub-term appearing in the code (i.e. context, goal type, term).
+
 category:           Agda, machine learning
 author:             Orestis Melkonian
 maintainer:         melkon.or@gmail.com
 stability:          experimental
-homepage:           http://github.com/omelkonian/agda2train/
+homepage:           https://github.com/omelkonian/agda2train/
 bug-reports:        https://github.com/omelkonian/agda2train/issues
 license:            BSD-3-Clause
 license-file:       LICENSE