git.iko.soy/Idris-dev
on master help sign in
Removed reference to now deprecated dragon egg process
bb25d49Ahmad Salim Al-Sibahi
CONTRIBUTING.md+1−1
compare with master
unifiedsplit
@@ -49,7 +49,7 @@ Major changes to the library, or Idris itself, should be discussed first through
49
49
501. The mailing List.
501. The mailing List.
511. On our IRC Channel `#idris` on freenode, or
511. On our IRC Channel `#idris` on freenode, or
52−1. As a [Dragon Egg](https://github.com/idris-lang/Idris-dev/wiki/Feature-proposals).
52+1. As an RFC in the issue tracker
53
53
54Developers then seeking to add content to Idris's prelude and default library, should do so through a PR where more discussions and refinements can be made.
54Developers then seeking to add content to Idris's prelude and default library, should do so through a PR where more discussions and refinements can be made.
55
55