Added type functions for n-ary functions and relations, and modified things in Decidable to use them (based on Melvar's code). Comment regarding REPL instance resolution needed, as is some cleanup.
Make reg031 char-sign-indifferent.
Cleaned up, and added a commented-out attempt at a 'decision' convenience function, which now fails work.
Renamed VectFun to FunN, added a few explanatory comments.
Added Data.FunN and Data.Rel to base.ipkg
Merge branch 'master' of github.com:edwinb/Idris-dev
Added missing comma to base.ipkg
Re-rename FunN all the way back to Fun.
Merge branch 'master' of github.com:edwinb/Idris-dev
Foreign pointer equality

Can be useful when dealing with values originating in foreign functions.
Intended in particular for checking sending VM in message passing
concurrency.
More descriptive error message on failure to unzip .ibc

To give more guidance on errors like
https://github.com/edwinb/SDL-idris/issues/2

The DecompressError can be one of three things:
http://hackage.haskell.org/package/zlib-0.5.4.1/docs/Codec-Compression-Zlib-Internal.html#t:DecompressError
There's not a show instance for it, though.
When I try to unzip "/etc/passwd" with this, the text of that error
message returned is "incorrect header check".
Add neweffects library

Old effects library will be dropped soon. The new version has support
for resources depending on results of operations (which turns out to be
really important!), and some new syntactic sugar, but is unfortunately
not compatible with the old version.
Add missing files to idris.cabal
Fix cabal error
Merge pull request #787 from ziman/reg031-sign-fix

Make reg031 char-sign-indifferent.
Merge pull request #786 from LeifW/report_unzip_errors

More descriptive error message on failure to unzip .ibc
Merge pull request #789 from tpsinnem/master

A more precise Rel & Decidable and some reshuffling of related code
Merge pull request #791 from raichoo/javascript

Javascript
Cache names in evaluator environment

This is better for displaying terms, especially if there are shadowed
names that we've renamed.
Fix naming problem in unification