@@ -33,12 +33,14 @@ These packages offer functionality that can be built on top of when constructing
34One major point to make is that everything in prelude will be imported automatically, unless given
34One major point to make is that everything in prelude will be imported automatically, unless given
35the `--noprelude` option.
35the `--noprelude` option.
36−A central idea within the Idris Community is that what counts as Idris is: **the compiler plus the Standard Prelude**.
36+Likewise, the contents of base are available with no special options.
37−Other libraries (base, effects, etc) are still part of the distribution, but not necessarily standard.
37+The other two packages that ship with Idris, contrib and effects, require a the use of the `-p` command-line argument to bring their contents into the include path.
38+New contributions should probably be sent to contrib first, so that they can get maintained with the Idris distribution.
39+If they turn out to be widely applicable and useful, they may later be moved into base.
39As Idris is still being developed we are open to suggestions and changes that make improvements to these default packages.
41As Idris is still being developed we are open to suggestions and changes that make improvements to these default packages.
40Major changes to the library (or Idris itself) should ideally be discussed first through the projects official channels of communication i.e. the mailing list, github wiki, or IRC, or as a [Dragon Egg](https://github.com/idris-lang/Idris-dev/wiki/Feature-proposals).
42Major changes to the library (or Idris itself) should ideally be discussed first through the projects official channels of communication i.e. the mailing list, github wiki, or IRC, or as a [Dragon Egg](https://github.com/idris-lang/Idris-dev/wiki/Feature-proposals).
41−Developers then seeking to add content to Idriss prelude and default library, should do so through a PR where more discussion's and refinements can be made.
43+Developers then seeking to add content to Idris's prelude and default library, should do so through a PR where more discussion's and refinements can be made.
43We do not want you wasting your time nor duplicating somebody's work!
45We do not want you wasting your time nor duplicating somebody's work!