More docs for Prelude.List
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
Merge pull request #1619 from ahmadsalim/feature/renamevoid

Removed `_|_` as a built in declaration and renamed it to `Void`
Allow Partial Eval of lambdas/lets in static pos
Increment IBC

This isn't strictly necessary since there's no format change, but there
has been a huge library renaming including some internal things, and
some things may end up stale by mistake (it just happened to me) so it's
mostly defensive, to prevent any confusing errors...
Merge pull request #1630 from edwinb/partial-eval

Allow Partial Eval of lambdas/lets in static pos
Merge pull request #1631 from edwinb/force-ibc

Force ibc
Remove dead code in support
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
Merge pull request #1632 from edwinb/remove-support

Remove dead code in support
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>