Add zipWith, concat, and deleteAt to Prelude.Vect
Rewrite Prelude.Vect.zip in terms of Prelude.Vect.zipWith
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
Merge pull request #211 from raichoo/morph

renamed homomorphism to morphism
Merge pull request #214 from bitlisp/trivialdefun

Generate legal DChkCase expressions when defunctionalization is trivial
Change argument order for mkStrFn
Update version number to 0.9.7
Minor tutorial updates