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
Java FFI: imports included and dependencies downloaded via maven
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Remove unused float and int stacks
RTS stats: fix case then elapsed time is zero.
Copy on demand cmd line args.
Rewrite ForeignTy as non-tail-recursive to simplify proving equality