diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -7,8 +7,10 @@
             - [Cross product](#cross-product)
             - [Conditionals](#conditionals)
             - [Limited `CREATE TABLE` support.](#limited-create-table-support)
+            - [`INSERT INTO` support.](#insert-into-support)
     - [Roadmap](#roadmap)
-        - [`INSERT INTO` support.](#insert-into-support)
+        - [DELETE support](#delete-support)
+        - [UPDATE support](#update-support)
         - [Flesh out Haskell to PostgreSQL type mapping.](#flesh-out-haskell-to-postgresql-type-mapping)
     - [How it compares with other libraries.](#how-it-compares-with-other-libraries)
     - [The name: Ribbit](#the-name-ribbit)
@@ -114,14 +116,30 @@
 - Compound primary keys. I.e. primary keys consisting of more than one
   component.
 
+#### `INSERT INTO` support.
 
+Basic inserts are supported:
+
+```haskell
+type MyInsert = InsertInto PeopleTable '["id", "name", "age"]
+
+execute
+  conn
+  (Proxy :: Proxy MyInsert)
+  (Only 1 :> Only "Bob Marley" :> Only 36)
+```
+
 ## Roadmap
 
 This is what I plan to work on next:
 
-### `INSERT INTO` support.
+### DELETE support
 
-Obviously, we want to do more with our DB than just read from it.
+Support delete operations.
+
+### UPDATE support
+
+Support update operations.
 
 ### Flesh out Haskell to PostgreSQL type mapping.
 
diff --git a/ribbit.cabal b/ribbit.cabal
--- a/ribbit.cabal
+++ b/ribbit.cabal
@@ -1,15 +1,21 @@
 
 name:                ribbit
-version:             0.3.0.0
-synopsis:            ribbit
--- description:         
+version:             0.3.0.1
+synopsis:            Type-level Relational DB combinators.
+description:         Ribbit is yet another type safe relational database
+                     library for Haskell, heavily inspired by the
+                     amazing Servant library. The goal is to create a
+                     type-level language for defining table schemas "as
+                     a type", queries that operate on those schemas, and,
+                     tangentially, "backends" that can do something useful
+                     with those types like talk to an actual database.
 homepage:            https://github.com/owensmurray/ribbit
 license:             MIT
 license-file:        LICENSE
 author:              Rick Owens
 maintainer:          rick@owensmurray.com
 copyright:           2019 Owens Murray, LLC.
--- category:            
+category:            Database
 build-type:          Simple
 extra-source-files:  README.md
 cabal-version:       >=1.10