diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -44,7 +44,7 @@
 
 The lambda cube describes the properties of a number of typesystems, an overview can be found [**here**](./lambdacube-overview.md). It is the basis for the library's classification of typesystems, a typeclass hierarchy where each axis is represented by a typeclass whose methods and associated types are indicitive of the properties of the axis.
 
-![](./diagrams/typeclass-hierarchy.png)
+![](https://github.com/Lokidottir/typerbole/blob/master/diagrams/typeclass-hierarchy.png?raw=true)
 
 ***
 
diff --git a/typerbole.cabal b/typerbole.cabal
--- a/typerbole.cabal
+++ b/typerbole.cabal
@@ -1,11 +1,13 @@
 name:                typerbole
-version:             0.0.0.2
+version:             0.0.0.3
 synopsis:            A typeystems library with exaggerated claims
 description:         Please see README.md
 license:             BSD3
 license-file:        LICENSE
 author:              Fionan Haralddottir
 maintainer:          ma302fh@gold.ac.uk
+homepage:            https://github.com/Lokidottir/typerbole
+bug-reports:         https://github.com/Lokidottir/typerbole/issues
 copyright:           2016 Fionan Haralddottir
 category:            Typesystems
                    , Typechecking
@@ -20,6 +22,10 @@
                      , diagrams/typeclass-hierarchy.png
                      , CONTRIBUTING.md
 
+source-repository head
+  type:     git
+  location: https://github.com/Lokidottir/typerbole
+
 library
   hs-source-dirs:      src
   exposed-modules:     Calculi.Lambda
@@ -38,20 +44,20 @@
                      , Data.Graph.Inductive.Helper
   build-depends:       base >= 4.7 && < 5
                      , containers >= 0.5 && < 0.6
-                     , data-ordlist < 0.4.8
-                     , either < 4.5
-                     , semigroups < 0.19
+                     , data-ordlist
+                     , either
+                     , semigroups
                      , bifunctors >= 5
                      , fgl >= 5.5 && < 5.6
-                     , QuickCheck < 2.9
-                     , syb < 0.7
-                     , mtl < 2.3
+                     , QuickCheck
+                     , syb
+                     , mtl
                      , generic-random == 0.1.1.0
-                     , lens < 4.14
+                     , lens
                      , template-haskell < 2.11
                      , th-lift >= 0.7 && < 0.8
                      , megaparsec < 5
-                     , safe < 0.4
+                     , safe
   ghc-options:         -Wall
                        -fno-warn-type-defaults
                        -fno-warn-unused-do-bind