diff --git a/README.md b/README.md
index a9b5327..e306d21 100644
--- a/README.md
+++ b/README.md
@@ -16,6 +16,8 @@ A dependently typed system
 
 * Natural numbers
 
+* Σ Types
+
 # TODO
 
 * Let ... in ...