diff --git a/images/workflow-pure.png b/images/workflow-pure.png
new file mode 100644
Binary files /dev/null and b/images/workflow-pure.png differ
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -11,5 +11,5 @@
 - ../workflow-types
 
 extra-deps:
-- workflow-types-0.0.0
+- workflow-types-0.0.1
 - spiros-0.0.0
diff --git a/workflow-pure.cabal b/workflow-pure.cabal
--- a/workflow-pure.cabal
+++ b/workflow-pure.cabal
@@ -1,7 +1,18 @@
 name:                workflow-pure
-version:             0.0.0
-synopsis:            TODO
-description:         TODO
+version:             0.0.1
+synopsis:            manipulate `workflow-types:Workflow`'s
+description:         
+ .
+ perform some static analysis on a workflow, without executing it (which would be platform-dependent).
+ .
+ documention at "Workflow.Pure".
+ . 
+ see the source of "Workflow.Pure.Main" for an example.
+ .
+ transitive dependencies:
+ .
+ <<images/workflow-pure.png>>
+
 homepage:            http://github.com/sboosali/workflow-pure#readme
 license:             BSD3
 license-file:        LICENSE
@@ -22,9 +33,9 @@
   .travis.yml
   HLint.hs
   stack.yaml
+  images/*.png
 
 --data-files:
-
 --  data/
 
 source-repository head
@@ -50,7 +61,7 @@
 
  build-depends:
     base >=4.7 && <5
-  , workflow-types ==0.0.0
+  , workflow-types >=0.0.1
 
   , transformers
   , mtl