idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 12:42:02 +03:00
Code Issues Projects Releases Wiki Activity

Fix link in feature-requests-and-proposals.md

Browse Source
This commit is contained in:
G. Allais 2020-10-02 14:40:22 +01:00 committed by GitHub
parent 4a61146ba0
commit f17354a503
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/ISSUE_TEMPLATE/feature-requests-and-proposals.md vendored
View File

@ -9,6 +9,6 @@ assignees: ''
Experience with Idris 1 suggests that feature requests and proposals tend to get buried among the bug reports in the issue tracker, even if we tag them effectively. Partly this is because there's not many people working on Idris full time (it's approximately one person at the moment).
We might be able to implement small suggestions fairly easily, but for larger features, please add the details on the wiki, at https://github.com/edwinb/Idris2/wiki/Contributions-wanted, which I hope will be more discoverable. It's also a good idea to suggest it on the mailing list and/or the IRC channel. And if you're looking for inspiration for places to contribute, this is a good place to look too!
We might be able to implement small suggestions fairly easily, but for larger features, please add the details on the wiki, at https://github.com/idris-lang/Idris2/wiki/Contributions-wanted, which I hope will be more discoverable. It's also a good idea to suggest it on the mailing list and/or the IRC channel. And if you're looking for inspiration for places to contribute, this is a good place to look too!
Please be as precise as you can about how your suggestion might work. For example, try to explain how it might impact other language features, give some ideas about how it might be implemented, and describe some things that will become possible if it is implemented. Remember that things can be more complicated than they might seem!