idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 12:32:00 +03:00
Code Issues Projects Releases Wiki Activity

Updated Home (markdown)

Joel Berkeley 2022-09-21 19:38:17 +01:00
parent c81df27c56
commit 9372b12dae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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).