Correct the order of instructions.
adding comments on C codegen
Fixed font types
Fixed the printing of Nat discrepency reported in Issue #28.
Make the dependent pair sugar a little clearer.
Merge pull request #25 from tylerholien/master

Correct the order of instructions.
Merge pull request #26 from artella-coding/master

adding comments on C codegen
Merge pull request #29 from jfdm/font-typos

Fixed font types
Merge pull request #31 from enolan/pairsugar

Make the dependent pair sugar a little clearer.
Fix some error messages
Merge branch 'master' of github.com:idris-hackers/idris-tutorial
'using' is no longer necessary

...but can still be useful, so weaken the description accordingly.
Merge branch 'nat-printing' of https://github.com/jfdm/idris-tutorial into jfdm-nat-printing

Conflicts:
	content/typesfuns.tex
Merge branch 'jfdm-nat-printing'
Update version
Add tip about Idris path on OS X
Fix qsort

The current implementation of qsort here double counts instances of x... we should fix that.

On a different note... I feel like in the future we shouldn't need `assert_smaller` here at all, since `xs` is guaranteed to be smaller than `x :: xs` (and filter can never make a list larger).
Update for consistent capitalization

See https://github.com/idris-lang/Idris-dev/pull/1553 .

Fixes #41.
Merge pull request #42 from idris-lang/feature/renaming

Update for consistent capitalization
Renamed '_|_' to 'Void' and 'FalseElim' to 'void' to match up the update
in Idris.