From f9998535dec9cbf9ad616851516f01048ef11591 Mon Sep 17 00:00:00 2001 From: nils <48135649+Nilstrieb@users.noreply.github.com> Date: Thu, 15 Jul 2021 12:53:17 +0200 Subject: [PATCH] new plans --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b5528df..54afa99 100644 --- a/README.md +++ b/README.md @@ -14,4 +14,4 @@ Finished: WIP: To-Do: -- Haskell +- Idris