@@ -9,7 +9,7 @@ Here are a few guidelines that we would like contributors to follow so that we c
991. Make sure you are familiar with [Git](http://git-scm.com/book).
10101. Make sure you have a [GitHub account](https://github.com/signup/free).
11111. Make sure you are familiar with: [Idris](http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf).
12−1. Make sure you can install `Idris`:
12+1. Make sure you can install Idris:
1313 * [Mac OS X](https://github.com/idris-lang/Idris-dev/wiki/Idris-on-OS-X-using-Homebrew)
1414 * [Ubuntu](https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Ubuntu)
1515 * [Debian](https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Debian)
@@ -27,18 +27,18 @@ Please clean up any messes that you find, and don't leave behind new messes for
2727
2828## Contributing to the default libraries.
2929
30−`Idris` ships with a set of packages in `libs/` that is provided as a default library.
30+Idris ships with a set of packages in `libs/` that is provided as a default library.
3131These 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.
32−These packages offer functionality that can be built on top of when constructing `Idris` programs.
32+These packages offer functionality that can be built on top of when constructing Idris programs.
3333
3434One major point to make is that everything in prelude will be imported automatically, unless given
3535the `--noprelude` option.
36−A central idea within the `Idris` Community is that what counts as `Idris` is: **the compiler plus the Standard Prelude**.
36+A central idea within the Idris Community is that what counts as Idris is: **the compiler plus the Standard Prelude**.
3737Other libraries (base, effects, etc) are still part of the distribution, but not necessarily standard.
3838
39−As `Idris` is still being developed we are open to suggestions and changes that make improvements to these default packages.
40−Major 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 `Idris`s prelude and default library, should do so through a PR where more discussion's and refinements can be made.
39+As Idris is still being developed we are open to suggestions and changes that make improvements to these default packages.
40+Major 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.
4242
4343We do not want you wasting your time nor duplicating somebody's work!
4444
@@ -140,7 +140,7 @@ To help increase the chance of your pull request being accepted:
140140
1411411. Run the tests.
1421421. Update the documentation, the surrounding one, examples elsewhere, guides, whatever is affected by your contribution
143−1. Use appropriate code formatting for both `Idris` and `Haskell`.
143+1. Use appropriate code formatting for both Idris and Haskell.
144144
145145## Additional Resources
146146