From 9372b12dae77bfd49f6592702a2ba9d8c0d01ccf Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Wed, 21 Sep 2022 19:38:17 +0100
Subject: [PATCH] Updated Home (markdown)

---
 Home.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Home.md b/Home.md
index 444de34..5942031 100644
--- a/Home.md
+++ b/Home.md
@@ -2,6 +2,6 @@ Welcome to the Idris 2 wiki!
 
 If you want to use Idris, you can look at the learning and development [resources](2-[Community]-Resources), how to start with [interactive editing](1-[Community]-Editor-Support) in variety of popular editors, or browse some of the [available libraries](1-[Language]-Libraries).
 
-If you want to get involved in working on Idris itself, there's a guide for [getting started](2 [Community] Getting started with Compiler development), and one for [which contributions are needed](2-[Community]-Contributions-wanted).
+If you want to get involved in working on Idris itself, there's a guide for [getting started](2-[Community]-Getting-started-with-Compiler-development), and one for [which contributions are needed](2-[Community]-Contributions-wanted).
 
 We also have a [discord forum](https://discord.gg/UX68fDs2jc).
\ No newline at end of file