diff --git a/README.md b/README.md
index f4bc331..0dac245 100644
--- a/README.md
+++ b/README.md
@@ -32,6 +32,7 @@ Listed in order of importance.
         - [ ] Lexer
         - [ ] Parser
     - [ ] Translation to the core language
+        - [ ] Constraint solver
         - [ ] `do`-notation
     - [ ] CLI