Remove Java RTS build in favor of the version hosted on Maven Central
Remove java rts from idris.cabal
Add primitive vector types to REPL autocompletion
Merge pull request #399 from raichoo/vim

vim: added syntastic support
Merge pull request #401 from Ralith/vector-type-completion

Add primitive vector types to REPL autocompletion
Allow names to be attached to provisional definitions
lhs ?= {name} rhs -- generates a lemma called 'name' which makes the
types of the lhs and rhs match. {name} is optional - a unique name is
generated if it is absent.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #400 from JanBessai/JavaRTSOnMavenCentral

Remove Java RTS build in favor of the version hosted on Maven Central
Fix type class index propagation bug
...which lead to implicit arguments not being spotted.
Fixes #402
Small coverage checker fix
Need to generate possible cases by looking at the patterns, not by
looking at the function type alone. Of course, this is what it was
trying to do, but there was a mistake...
Fixes #397
Change default Num typeclass to integer
Fixes #391
Fix LLVM codegen integer interconversion and integer <-> character primitives
Special case for displaying Type : Type 1
...because people get the wrong impression about universes otherwise!
Merge pull request #404 from Ralith/llvm-fixes

Fix LLVM codegen integer interconversion and integer <-> character primitives
default case for hostDynamicLibExt.

this is useful for e.g. checking things out in ghci, where we don't have
the fancy environment variables from config.mk.
Added .ghci specifying language extensions.

Seems like -XFlexibleInstances is expected everywhere; I just copied the
four extensions specified in idris.cabal for completeness' sake.
Fix interpreter implementation of signed operations on Integer
APPLY needs a catch all case for type constructors
Normally, they get erased, but in case they haven't at compile time this
ensures they are at run-time. It's safe just to return an erased term
since it can't be inspected. Fixes #416
(This may mean something is wrong in erasure, or it may simply be that
something is sufficiently higher order that the unused argument checker
doesn't feel it is safe to erase.)
Left and arithmetic right shifts on big integers under LLVM codegen
StrRev primitive too