Removed reference to now deprecated dragon egg process
commitbb25d49671a6af16261224c4b15c9b7d95260515
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateSun 19 Jun 2016, 23:07 (10 years ago)
parent78b81b2
CONTRIBUTING.md+1−1
@@ -49,7 +49,7 @@ Major changes to the library, or Idris itself, should be discussed first through
4949
50501. The mailing List.
51511. 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
5353
5454Developers 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.
5555