From 752b6ee4c947fce1ee98967033bb47835a28d416 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 21 Jul 2022 04:26:06 +0200
Subject: [PATCH] updated TODO priorities

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

diff --git a/README.md b/README.md
index e306d21..b250bf0 100644
--- a/README.md
+++ b/README.md
@@ -22,15 +22,15 @@ A dependently typed system
 
 * Let ... in ...
 
+* Parser
+
 * Fun types
   * Id
 
-* Parser
+* Universes
 
 * Implicit arguments
 
-* Universes
-
 * (indexed) inductive datatypes
 
 * Write down the rules (I'll not get this far)