diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,1 +1,7 @@
-http://christiaanb.github.io/clash2/
+# `clash-lib`
+  * See the LICENSE file for license and copyright details
+
+# `clash-ghc`
+  * See the LICENSE file for license and copyright details
+  * Contains code from the [GHC compiler](http://haskell.org/ghc), see the
+    LICENSE_GHC file for license and copyright details pertaining to that code.
diff --git a/clash-lib.cabal b/clash-lib.cabal
--- a/clash-lib.cabal
+++ b/clash-lib.cabal
@@ -1,11 +1,11 @@
 Name:                 clash-lib
-Version:              0.3
+Version:              0.3.0.1
 Synopsis:             CAES Language for Synchronous Hardware - As a Library
 Description:
   CλaSH (pronounced ‘clash’) is a functional hardware description language that
   borrows both its syntax and semantics from the functional programming language
   Haskell. The merits of using a functional language to describe hardware comes
-  from the fact that combinational circuits can be directly modeled as
+  from the fact that combinational circuits can be directly modelled as
   mathematical functions and that functional languages lend themselves very well
   at describing and (de-)composing mathematical functions.
   .
@@ -21,7 +21,7 @@
   * Blackbox/Primitive Handling
   .
   .
-  Front-ends (for: parsing, typecheck, etc.) are provided by seperate packages:
+  Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:
   .
   * <https://github.com/christiaanb/Idris-dev Idris Frontend>
   .
@@ -120,3 +120,5 @@
                       CLaSH.Rewrite.Util
 
                       CLaSH.Util
+
+  Other-Modules:      Paths_clash_lib
diff --git a/src/CLaSH/Util.hs b/src/CLaSH/Util.hs
--- a/src/CLaSH/Util.hs
+++ b/src/CLaSH/Util.hs
@@ -27,12 +27,15 @@
 import qualified Data.HashMap.Lazy    as HashMapL
 import qualified Data.HashMap.Strict  as HashMapS
 import Data.Maybe                     (fromMaybe)
+import Data.Version                   (Version)
 import Control.Lens
 import Debug.Trace                    (trace)
 import qualified Language.Haskell.TH  as TH
 import Unbound.LocallyNameless        (Embed(..))
 import Unbound.LocallyNameless.Name   (Name(..))
 
+import qualified Paths_clash_lib      (version)
+
 -- | A class that can generate unique numbers
 class MonadUnique m where
   -- | Get a new unique
@@ -212,3 +215,6 @@
 splitAtList (_:xs) (y:ys) = (y:ys', ys'')
     where
       (ys', ys'') = splitAtList xs ys
+
+clashLibVersion :: Version
+clashLibVersion = Paths_clash_lib.version