germax26/TheHoTTGame
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updated hyperlinks.

Browse Source
This commit is contained in:
kl-i 2021-08-16 18:00:32 +01:00
parent a90b98cc46
commit c93ca368b2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -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.