Typo in interpreter output
Merge pull request #4 from pseudonom/patch-1

Typo in interpreter output
Updated Readme
Added CONTRIBUTING.md and improved README
Added interactive editing section
Merge branch 'master' of github.com:idris-hackers/idris-tutorial
Improvements to files.

+ Updated Readme
+ Latest version of idrislang.sty
+ Add clean target to examples Makefile
Code deduplication.

Consolidated example code from examples/ and in chapters:

+ starting.tex
+ typesfuns.tex
Updated .gitignore to stop pesky binary builds.
Fixed typo's, urls, and layout.
Describe more interactive commands
Code deduplication, and listing stylings.

+ Removed code duplication between `modules.tex` and `examples/`
+ Added a `stdout` style in `conf.ltx` for all non-code listings.
+ Made listings Float where applicable.
Fixed typos and overfull boxes
Fixed code duplication.
Merge branch 'master' into dev and fixed typos

Conflicts:
	content/interactive.tex
updated contributing to remove branch info.
testVec was missing a linebreak between type decl and defn
fix left-over plusredZ\_O
Merge pull request #6 from dckc/patch-1

testVec was missing a linebreak between type decl and defn
Merge pull request #7 from dckc/patch-2

fix left-over plusredZ\_O