diff --git a/README.md b/README.md
index b6bb6d9..2b43008 100644
--- a/README.md
+++ b/README.md
@@ -26,8 +26,6 @@ A dependently typed system
   * Parsing !!! (this is like 90% of the time currently lmao)
   * Memoize normalisation and conversion somehow?
 
-* Repl
-
 * Universes
 
 * Implicit arguments