Merge pull request #200 from raichoo/master

Maybe Eq Typeclass
Added curry and uncurry functions
Build Haddock and Hoogle files

Haddock will generate links to Hackage where appropriate.
Documentation comment additions
Tweak syntax rules to deal with consecutive non-terminals better
Merge pull request #203 from david-christiansen/haddock

Haddock added to Makefile; more docs
Merge pull request #202 from DanielWaterworth/master

Added curry and uncurry
Add zipWith, concat, and deleteAt to Prelude.Vect
Rewrite Prelude.Vect.zip in terms of Prelude.Vect.zipWith
Normalise before looking for coercions
Make seperated named functions for the Monoid <=> Maybe cast.

Also, Semigroup a -> Monoid (Maybe a) should actually only require a semigroup.
Corrected typo of the (++) example in views.tex
Added effects package and associated tests
Merge pull request #208 from tauli/patch-1

Corrected typo of the (++) example in views.tex
Merge pull request #206 from LeifW/factor_out_monoid_maybe_cast_to_named_functions

Make seperated named functions for the Monoid <=> Maybe cast.
Merge pull request #205 from Melvar/master

Add zipWith, concat and deleteAt to Prelude.Vect
Remove Threading effect (on account of it not working :))
renamed homomorphism to morphism
Add inductive integers

This is inspired by Agda's integers. An integer is defined as a positive Nat
or the negative successor of a Nat, yielding unique 0 and fairly convenient
definitions of operations.
Merge pull request #212 from david-christiansen/inductive-ints

Add inductive integers