Feature requests and proposals

[edwinb]

If you have a feature request or proposal, or if you're looking for a place to get started contributing to Idris 2, please take a look at https://github.com/edwinb/Idris2/wiki/Contributions-wanted, or at https://github.com/edwinb/Idris2/blob/master/CONTRIBUTING.md

At the moment, since it's (mostly) only me working on the project, in about half my time, this is mainly in an effort to prevent the issue tracker for getting out of control, and making sure that I can keep on top of the most important bugs.

Please feel free to discuss proposals via the wiki or the mailing list, however!

[mrkgnao]

Added a note about the possibility of modifying the core type theory to track usage in types on the wiki.