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 19:41:48 +01:00
parent 1608c8b803
commit 094e67ff08
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

@ -4,4 +4,4 @@ If you want to use Idris to build something, you can look at the learning and de
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).
We also have a [discord forum](https://discord.gg/UX68fDs2jc) if you want to discuss ideas, if you get stuck, or anything else.
We also have a [discord forum](https://discord.gg/UX68fDs2jc) if you want to discuss ideas, if you get stuck, or for anything else.