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.
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.
Merge remote-tracking branch 'origin/providers' into providers
Merge remote-tracking branch 'upstream/master' into providers
Add basic infrastructure for IO support in the interpreter
Basics of command to execute IO actions in the interpreter
Start of FFI infrastructure

Now I can convert Idris' FFI data to similar Haskell types.
Dynamically load C libraries in REPL
Top-level directive for dynamic linking

Now the syntax:

%dynamic "libfoo.so"

causes libfoo to be dynamically linked.
Completion and help for :dynamic at the REPL
%dynamic now works from IBC files
Find foreign funcs in libs
Call simple C functions
Execute type providers while typechecking
vim: added rewrite construct
Idris support for Sublime Text 2
Minor tinkering with effects
Merge pull request #247 from raichoo/vim

vim: added rewrite construct