More docs for Prelude.List
Merge branch 'master' of git://github.com/idris-lang/Idris-dev
Merge branch 'master' of github.com:edwinb/Idris-dev
Removed '_|_' as a built in declaration and renamed it to 'Void',
'FalseElim' now 'VoidElim' to match up
Renamed VoidElim to void in order to ensure further consistency
added zipWith3, zip3, and unzip3 for Vects
fixed a stupid error in unzip3
fixed a second stupid error in unzip3, also indentation
fixed zipWith3
rts/idris_rts.c: Fix referenced after allocation that may moved away

Fixes issue #1610

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
change lambda format
Prelude/Algebra.idr: Fix typo in comment

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Updated contributed.md.

The PR adds information and best practises pertaining to contributing to the `Idris` prelude and base.

This informaton has been culled from information on the Idris Wiki and past pull requests, and only supports existing judgements made.

See:

+ https://github.com/idris-lang/Idris-dev/commit/ba6f0ef10086f1d316dedc11164330fecb979d01
+ https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-April-May-2014
Implement the Field structure in the Prelude

The multiplicative inverse function could have a better name
however this can be revised on feedback.

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Implement the VectorSpace structure in the Prelude

'Vectors' are not actually the Vect type, rather they are elements
of an additive abelian group and hence this structure is made most
general in type.

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Merge pull request #1612 from johnny-john/docsnippets

More docs for prelude libraries
Merge pull request #1635 from japesinator/add_zip3_vects

Added zip3 and associated functions to Prelude.Vect
Merge pull request #1636 from alterapraxisptyltd/issue-1610

rts/idris_rts.c: Fix referenced after allocation that may moved away
Merge pull request #1645 from jfdm/update-contrib

Updated contributed.md.
Merge pull request #1644 from alterapraxisptyltd/algebra

Algebra