Home

Welcome to the Idris wiki!

Getting involved

Go ahead and start hacking! We're generally open to useful contributions.

If you'd like an easy place to get started, issues tagged low-hanging fruit in the issue tracker are those that we think will be fairly straightforward to implement, without requiring knowledge of the whole Idris system. Issues tagged patches welcome! are issues that are acknowledged but are not priorities of the core developers at this time. If you're in doubt, please ask a question on IRC or the mailing list.

One of the best ways to get involved is writing documentation. That would be a highly valued contribution! The beginnings of a user manual exist, and contributing to this is a great way to learn the language and associated tools.

If you need to be added to the organization (so you can have bugs assigned to you and the like), contact David Christiansen (github, mail).