Java FFI: imports included and dependencies downloaded via maven
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Improved type-directed name disambiguation
Rewrite ForeignTy as non-tail-recursive to simplify proving equality
javascript: fix wrong array handling
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Unification fix
Mangling of keyword "const"
Primitives for object method call + formating
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
More rigorous checking of validity for mkForeign calls
Added rewrite ... in ... construct
rewrite prf in v rewrites the goal type using prf. It is equivalent to
applying replace, without the need to provide a predicate. It works
by applying the rewrite tactic with prf before elaborating v.
Change forall tactic to use unify rather than isType
Fixes issue #189
Merge pull request #240 from JanBessai/master

FFI Dependencies in Java: Automatic inclusion and resolution + download via maven
Merge pull request #241 from fmap/master

A few RTS fixes.
Fix compilation error on floating point constants
Merge pull request #242 from bitlisp/master

Non-tail-recursive ForeignTy
Merge pull request #244 from raichoo/javascript

javascript: fix wrong array handling
Merge pull request #246 from bitlisp/ffi2

More rigorous checking of validity for mkForeign calls
vim: added rewrite construct