From 542f1cd685a007847e3d8df9799fc070e5372d7e Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Tue, 26 Jul 2022 06:11:57 +0200
Subject: [PATCH] update readme

---
 README.md | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 954f58c..e44ac82 100644
--- a/README.md
+++ b/README.md
@@ -22,16 +22,14 @@ A dependently typed system
 
 # TODO
 
-* Fun types
-  * Id
-
 * Repl
-
-* Universes
+  * Defs
 
 * Performence optimisation
   * Memoize normalisation and conversion somehow?
 
+* Universes
+
 * Implicit arguments
 
 * (indexed) inductive datatypes