diff --git a/src/Data/Vector/Vinyl/Default.hs b/src/Data/Vector/Vinyl/Default.hs
--- a/src/Data/Vector/Vinyl/Default.hs
+++ b/src/Data/Vector/Vinyl/Default.hs
@@ -16,7 +16,13 @@
 -- Stability   :  experimental
 -- Portability :  non-portable
 --
--- TODO: Write an explanation.
+-- There are two vector types provided by this module: 'Vector' and
+-- 'MVector'. They must be parameterized over a type that unifies
+-- with 'Rec Identity rs'. An example would be:
+--
+-- > foo :: Vector (Rec Identity '[Int,Char,Bool])
+-- 
+-- This vector stores records that have an 'Int', a 'Char', and a 'Bool'.
 -----------------------------------------------------------------------------
 module Data.Vector.Vinyl.Default
   ( Vector, MVector
diff --git a/src/Data/Vector/Vinyl/Default/Implication.hs b/src/Data/Vector/Vinyl/Default/Implication.hs
--- a/src/Data/Vector/Vinyl/Default/Implication.hs
+++ b/src/Data/Vector/Vinyl/Default/Implication.hs
@@ -1,6 +1,20 @@
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE GADTs #-}
 
+-----------------------------------------------------------------------------
+-- |
+-- Copyright   :  Andrew Martin
+-- License     :  BSD-style (see the file LICENSE)
+--
+-- Maintainer  :  Andrew Martin <andrew.thaddeus@gmail.com>
+-- Stability   :  experimental
+-- Portability :  non-portable
+--
+-- This module uses the "constraints" package to prove that if all of the
+-- columns satisfy the 'HasDefaultVector' constraint, then a vector 
+-- parameterized over the record has an instance of the generic vector 
+-- typeclass.
+-----------------------------------------------------------------------------
 module Data.Vector.Vinyl.Default.Implication where
 
 import Data.Constraint
diff --git a/src/Data/Vector/Vinyl/TypeLevel.hs b/src/Data/Vector/Vinyl/TypeLevel.hs
--- a/src/Data/Vector/Vinyl/TypeLevel.hs
+++ b/src/Data/Vector/Vinyl/TypeLevel.hs
@@ -4,6 +4,17 @@
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TypeFamilies #-}
 
+-----------------------------------------------------------------------------
+-- |
+-- Copyright   :  Andrew Martin
+-- License     :  BSD-style (see the file LICENSE)
+--
+-- Maintainer  :  Andrew Martin <andrew.thaddeus@gmail.com>
+-- Stability   :  experimental
+-- Portability :  non-portable
+--
+-- Try to merge this into vinyl at some point.
+-----------------------------------------------------------------------------
 module Data.Vector.Vinyl.TypeLevel
   ( ListAll
   ) where
diff --git a/vinyl-vectors.cabal b/vinyl-vectors.cabal
--- a/vinyl-vectors.cabal
+++ b/vinyl-vectors.cabal
@@ -1,8 +1,12 @@
 name:                vinyl-vectors
-version:             0.1.0.0
+version:             0.1.0.1
 synopsis:            Initial project template from stack
-description:         Please see README.md
-homepage:            http://github.com/githubuser/vinyl-vectors#readme
+description:         This library provides vectors of vinyl records stored
+                     as a structure of arrays. This vectors types provided
+                     implement the generic vector interface and can be
+                     used with any library that accepts a generic vector
+                     type.
+homepage:            http://github.com/andrewthad/vinyl-vectors
 license:             BSD3
 license-file:        LICENSE
 author:              Author name here