Added curry and uncurry functions
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
Generate legal DChkCase expressions when defunctionalization is trivial
Fix some big number primitives
Fixes issue #177
Some RTS functions to help with allocation in foreign functions