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>
Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>')
change lambda format
Parameters should be made 'static'

When a static argument has parameters, those parameters should also be
made static in all cases. Less restrictive than the rule for indices,
which requires that the index be uniquely inferrable from the static.
Parameters should be made 'static'

When a static argument has parameters, those parameters should also be
made static in all cases. Less restrictive than the rule for indices,
which requires that the index be uniquely inferrable from the static.
Merge branch 'partial-eval' of github.com:edwinb/Idris-dev into partial-eval
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