@@ -37,14 +37,14 @@ Idris ships with a set of packages in `libs/` that is provided as a default libr
3737These packages should not be seen as the *standard* as when working with dependent types we do not necessarily know how best to work with dependent types.
3838These packages offer functionality that can be built on top of when constructing Idris programs.
3939
40−One major point to make is that everything in prelude will be imported automatically, unless given the `--noprelude` option.
40+When working with packages in `libs/`, it is important to realise that everything in prelude will be imported automatically, unless given the `--noprelude` option.
4141Likewise, the contents of base are available with no special options.
4242The other two packages that ship with Idris, contrib and effects, require the use of the `-p` command-line argument to bring their contents into the include path.
4343New contributions should probably be sent to contrib first, so that they can get maintained with the Idris distribution.
4444If they turn out to be widely applicable and useful, they may later be moved into base.
4545
4646As Idris is still being developed we are open to suggestions and changes that make improvements to these default packages.
47−Major changes to the library (or Idris itself) should ideally be discussed first through the projects official channels of communication:
47+Major changes to the library (or Idris itself) should ideally be discussed first through the project's official channels of communication:
4848
49491. The mailing List.
50501. On our IRC Channel `#idris` on freenode, or