diff --git a/README.md b/README.md
index 52c6397..a9b5327 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,8 @@ A dependently typed system
 
 # TODO
 
+* Let ... in ...
+
 * Fun types
   * Id