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-22 16:02:41 +01:00
parent 6b07d359f9
commit daf0d368b5
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) 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).