From daf0d368b51a0c13b0220f6d487d301c1f2cc9b3 Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Thu, 22 Sep 2022 16:02:41 +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 41d04b3..ac80e30 100644
--- a/Home.md
+++ b/Home.md
@@ -1,6 +1,6 @@
 Welcome to the Idris 2 wiki!
 
-If you want to build something with Idris, you can look at the learning and development [resources](2-[Community]-Resources) or browse some of the [available libraries](1-[Language]-Libraries).
+If you want to build something with Idris, you can look at the learning and development [resources](Resources) or browse some of the [available libraries](Third-party-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 another for [which contributions are needed](2-[Community]-Contributions-wanted).