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

Updated Home (markdown)

Joel Berkeley 2022-09-21 22:54:40 +01:00
parent e727a6c8cd
commit 0da8a2ac52
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

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