If you’re interested in contributing to Idris, there are several jobs and mini-projects which would help. Various projects are listed on the wiki.
Patches for fixing issues listed on the issue tracker are, of course, always welcome! Some are marked Low Hanging Fruit, and these are good places to start if you are looking for a way to contribute. Other more involved issues are labelled with Moderate Effort and Project for issues that require a little effort. These are issues which are acknowledged, but nobody is currently working on, or likely to work on in the immediate future.
If you’re interested in helping with anything, please do get in touch, either by posting to the mailing list, or dropping into the
#idris IRC channel on
When making contributions, asking questions or filing issue reports, please remember to abide by the community standards.