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)