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
javascript: fix wrong array handling
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
Add runPureEnv