diff --git a/README.md b/README.md index 0ee5630f4..772ba11c9 100644 --- a/README.md +++ b/README.md @@ -25,5 +25,5 @@ If you want to learn more about Idris, contributing to the compiler could be one [1]: [2]: -[3]: <(https://github.com/idris-lang/Idris2/wiki/Map-of-the-Source-Code)> +[3]: [4]: