diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# typerbole
+# typerbole ![hackage](https://img.shields.io/hackage/v/typerbole.svg?style=flat-square)
 
 Parameterized typesystems, lambda cube typeclasses, and typechecking interfaces.
 
diff --git a/diagrams/Main.hs b/diagrams/Main.hs
deleted file mode 100644
--- a/diagrams/Main.hs
+++ /dev/null
@@ -1,13 +0,0 @@
-module Main where
-
-import Diagrams.Prelude
-import Diagrams.Backend.SVG.CmdLine
-import Data.Colour
-import Data.Colour.SRGB
-
-main :: IO ()
-main = putStrLn "todo: program making diagrams for this package"
-
-colour = sRGB24
-
-hexcode = sRGB24read
diff --git a/typerbole.cabal b/typerbole.cabal
--- a/typerbole.cabal
+++ b/typerbole.cabal
@@ -1,5 +1,5 @@
 name:                typerbole
-version:             0.0.0.3
+version:             0.0.0.4
 synopsis:            A typeystems library with exaggerated claims
 description:         Please see README.md
 license:             BSD3
@@ -11,9 +11,9 @@
 copyright:           2016 Fionan Haralddottir
 category:            Typesystems
                    , Typechecking
-                   , TypeTheory
+                   , Type Theory
                    , Educational
-                   , LambdaCube
+                   , Lambda Cube
                    , AST
 build-type:          Simple
 cabal-version:       >=1.10
@@ -42,7 +42,7 @@
                      , Compiler.Typesystem.SimplyTyped
                      , Control.Typecheckable
                      , Data.Graph.Inductive.Helper
-  build-depends:       base >= 4.7 && < 5
+  build-depends:       base >= 4.7 && < 4.9
                      , containers >= 0.5 && < 0.6
                      , data-ordlist
                      , either
@@ -92,24 +92,6 @@
   default-language:    Haskell2010
   default-extensions:  ScopedTypeVariables
                      , LambdaCase
-                     , TemplateHaskell
-                     , DeriveGeneric
-                     , TypeFamilies
-
--- Executable to generate vector graphics related to this
--- project.
-executable typerbole-diagrams
-  hs-source-dirs:      diagrams
-  main-is:             Main.hs
-  build-depends:       base
-                     , diagrams-lib
-                     , diagrams-svg
-                     , colour
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N -Wall
-  default-language:    Haskell2010
-  default-extensions:  ScopedTypeVariables
-                     , LambdaCase
-                     , NoMonomorphismRestriction
                      , TemplateHaskell
                      , DeriveGeneric
                      , TypeFamilies