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: fix nested blockcomments
Merge pull request #251 from raichoo/master

quiet mode: for editors
Merge pull request #252 from raichoo/vim

vim: fix nested blockcomments
Add clauses to declared and defined.