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:37:29 +01:00
parent 085bbfe783
commit 540536ca7e
1 changed files with 3 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
Home.md

@ -1,21 +1,7 @@
Welcome to the Idris 2 wiki!
* [[Contributions wanted, feature requests, project ideas|2 [Community] Contributions wanted]]
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).
For information about using Idris2, see the official [documentation](https://idris2.readthedocs.io/en/latest/)
If you want to get involved on 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 have a discord channel
* https://discord.gg/UX68fDs2jc
Here a list of talks organised by the community about Idris:
* [[Community talks|2 [Community] Idris Community talks]]
If you want to get started with compiler development here is what you need:
* [[Getting started|2 [Community] Getting started with Compiler development]]
If you are looking for some development or learning resource, check out the resources page:
* [[Resources|2 [Community] Resources]]
We also have a [discord forum](https://discord.gg/UX68fDs2jc).