Added compile flag support to deactivate creation of the java backend
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Added %provide directive to parser
Added first steps in type providers

Now, type provider syntax is parsed and the providers are elaborated to
top-level definitions. Next step is to cause them to be normalized before
type-checking, possibly performing IO in the process.
Fix error with linearity checking in patterns
Added %provide directive to parser
Added first steps in type providers

Now, type provider syntax is parsed and the providers are elaborated to
top-level definitions. Next step is to cause them to be normalized before
type-checking, possibly performing IO in the process.
detach heap from vm struct
unify help and completion of REPL - previously they were not in sync, now it is one lookup table
Merge remote-tracking branch 'origin/providers' into providers
Merge pull request #232 from hannesm/unify-help-and-completion

unify help and completion of REPL - previously they were not in sync, no...
Remove files that shouldn't be in the repo

The ._ files are resource forks. They contain OS X metadata.
Merge remote-tracking branch 'upstream/master' into providers
Add basic infrastructure for IO support in the interpreter
Merge pull request #233 from miikka/remove-garbage

Remove extraneous files from repo
Basics of command to execute IO actions in the interpreter
add heap properties checking
Start of FFI infrastructure

Now I can convert Idris' FFI data to similar Haskell types.
add basic rts options
Add updateM to State effect