From 75f4dea650b2d6c1200021e876f557013e498a51 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Tue, 30 Aug 2022 15:32:00 +0200
Subject: [PATCH] cleanup readme

---
 README.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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)