diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,2 @@
+# 0.1.1
+* Implement the List type parsing
diff --git a/demo/Main.hs b/demo/Main.hs
--- a/demo/Main.hs
+++ b/demo/Main.hs
@@ -44,6 +44,6 @@
 mapThirdElement =
   over [lens|3|]
 
-functionOnARecord :: [record| {name :: String, age :: Int}|] -> Int
+functionOnARecord :: [record| {name :: String, age :: [Int]}|] -> [Int]
 functionOnARecord =
   view [lens|age|]
diff --git a/library/Record/Lens.hs b/library/Record/Lens.hs
--- a/library/Record/Lens.hs
+++ b/library/Record/Lens.hs
@@ -11,7 +11,7 @@
 
 
 -- |
--- A reference to from a datastructure @s@ to some part @a@,
+-- A reference from a datastructure @s@ to some part @a@,
 -- which can be used to manipulate that particular part.
 type Lens s a = 
   forall f. Functor f => (a -> f a) -> (s -> f s)
diff --git a/library/Record/Parser.hs b/library/Record/Parser.hs
--- a/library/Record/Parser.hs
+++ b/library/Record/Parser.hs
@@ -50,7 +50,7 @@
       fmap (foldl1 Type_App) $
       sepBy1 nonAppType (skipMany1 space)
     nonAppType =
-      varType <|> conType <|> tupleConType <|> tupleType <|> listConType <|> 
+      varType <|> conType <|> tupleConType <|> tupleType <|> listConType <|> listType <|>
       arrowType <|> (Type_Record <$> recordType) <|> inBraces type'
       where
         varType =
@@ -65,6 +65,9 @@
             char '(' *> skipSpace *>
             sepBy1 type' (skipSpace *> char ',' <* skipSpace)
             <* skipSpace <* char ')'
+        listType =
+          fmap (Type_App Type_List) $
+            char '[' *> skipSpace *> type' <* skipSpace <* char ']'
         listConType =
           Type_List <$ string "[]"
         arrowType =
diff --git a/library/Record/Types.hs b/library/Record/Types.hs
--- a/library/Record/Types.hs
+++ b/library/Record/Types.hs
@@ -18,10 +18,10 @@
 
 
 -- |
--- Defines a way to access some value of a type as field,
+-- Defines a way to access some value of a type as a field,
 -- using the string type literal functionality.
 -- 
--- Instances are provided to all records and to tuples of arity of up to 24.
+-- Instances are provided for all records and for tuples of arity of up to 24.
 -- 
 -- Here's how you can use it with tuples:
 -- 
diff --git a/record.cabal b/record.cabal
--- a/record.cabal
+++ b/record.cabal
@@ -1,7 +1,7 @@
 name:
   record
 version:
-  0.1.0
+  0.1.1
 synopsis:
   First class records implemented with quasi-quotation
 description:
@@ -34,6 +34,8 @@
   Simple
 cabal-version:
   >=1.10
+extra-source-files:
+  CHANGELOG.md
 
 
 source-repository head