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.

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).