diff --git a/Home.md b/Home.md index eb0cdca..41d04b3 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), 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 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 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).