-
Notifications
You must be signed in to change notification settings - Fork 379
Home
Joel Berkeley edited this page Sep 21, 2022
·
34 revisions
Welcome to the Idris 2 wiki!
If you want to use Idris, you can look at the learning and development resources, how to start with interactive editing in variety of popular editors, or browse some of the available libraries.
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.
We also have a discord forum.