From 90255e9c40541e774ccf9e90f3ba8b0c316e5302 Mon Sep 17 00:00:00 2001 From: depsterr Date: Tue, 26 Jul 2022 23:07:43 +0200 Subject: [PATCH] remove repl from todo --- README.md | 2 -- 1 file changed, 2 deletions(-) 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