diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,2 +1,2 @@
 # type-list
-Type-level list operations
+Common list and tuple operations rewritten as type families that operate in the type level, on data-kinded types. Both uncurried (type family) and curried (GADTs to be used with the Apply type family from Singletons) are provided, to work around the inability to partially apply type families.
diff --git a/changelog.md b/changelog.md
new file mode 100644
--- /dev/null
+++ b/changelog.md
@@ -0,0 +1,21 @@
+0.3.0.0
+------
+
+* Added ZipWith family.
+
+0.2.0.0
+-------
+
+* Added lengthVal function, replacing the functionality of the removed TypeLength typeclass together with the Length family.
+
+0.1.0.0
+-------
+
+* Changed TypeLength type class to a Length family.
+* Fixed Intersection.
+
+0.0.0.0
+------
+
+* Initial commit.
+
diff --git a/type-list.cabal b/type-list.cabal
--- a/type-list.cabal
+++ b/type-list.cabal
@@ -1,18 +1,15 @@
--- Initial type-list.cabal generated by cabal init.  For further 
--- documentation, see http://haskell.org/cabal/users-guide/
-
 name:                type-list
-version:             0.3.0.0
+version:             0.3.0.1
 synopsis:            Operations on type-level lists and tuples.
 description:         Operations on type-level lists and tuples, together with their curried versions.
 license:             BSD3
 license-file:        LICENSE
 author:              Marcin Mrotek
 maintainer:          marcin.jan.mrotek@gmail.com
--- copyright:           
+copyright:           (c) Marcin Mrotek, 2015
 category:            Data
 build-type:          Simple
-extra-source-files:  README.md
+extra-source-files:  README.md changelog.md
 tested-with:         GHC == 7.8.4
                    , GHC == 7.10.1
                    , GHC == 7.10.2