idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-10-26 22:22:31 +03:00
Code Issues Projects Releases Wiki Activity

[ README ] Contributors wanted.

Browse Source
This commit is contained in:
Andor Penzes 2021-06-12 20:34:25 +01:00
parent 2cf0caefa6
commit 012d7f80ce
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -104,6 +104,15 @@ Things still missing
+ ':search' and ':apropos' at the REPL
+ Metaprogramming (reflection, partial evaluation)
Contributors wanted
-------------------
+ [Good first issues](https://github.com/idris-lang/Idris2/issues?q=is%3Aopen+is%3Aissue+label%3A%22good+first+issue%22)
+ [Contributors wanted](https://github.com/idris-lang/Idris2/wiki/Contributions-wanted)
If you want to learn about Idris more, contributing to the compiler could be one
way to do so. Just select one good first issue and ask about it on the [Discord](https://discord.gg/UX68fDs2jc) channel.
Talks
-----