From c93ca368b215368ebb39dcd3da60321c16044c44 Mon Sep 17 00:00:00 2001 From: kl-i Date: Mon, 16 Aug 2021 18:00:32 +0100 Subject: [PATCH] Updated hyperlinks. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d044ad5..5690647 100644 --- a/README.md +++ b/README.md @@ -60,7 +60,7 @@ Each quest consists of three files, for example : ## Emacs and Agda usage We have a file with a list of [basic Emacs commands]( -https://github.com/Jlh18/TheHoTTGame/blob/main/EmacsCommands.md +https://github.com/thehottgame/TheHoTTGame/blob/main/EmacsCommands.md ), but you _should_ be able to learn how to use Agda as you go along.