diff --git a/README.md b/README.md
index 1f44228..9428e45 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,15 @@ A "proof assistant" with holes and implcit arguments. Developed to learn about e
 
 # TODO
 
-* Id types, lol (oops)
 * evaluation
 * conversion
+
+* Raw syntax
+
+* Metas
+* Unification
+* Implicit arguments
+
+* More types
+  * Id
+  * Tarski Universes (in the core)