Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Merge branch 'NullPtr' of https://github.com/eamsden/Idris-dev into NullPtr
null primitive for the Java back end
Make test033 work with Java by using nullPtr from prelude instead of c function
Add test documentation
Added documentation for builtins. Rewrite tactics not documented.
Inlining - Evaluator now supports run-time terms

In particular this reduces type class overhead.
NOTE: Breaks the javascript code generation because it doesn't seem to
support projection from global names, which can now arise as a result
of inlinings.

A temporary fix for this would be to update ElabDecls.hs:733 to
simple_rt ctxt t = t

which disables the simplification of run time terms.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #597 from jfdm/master

Added documentation for builtins. Rewrite tactics not documented.
Merge pull request #598 from david-christiansen/docs

:help and tab completion for :doc
Reinstate inlining of type class dictionaries
Merge branch 'master' of github.com:edwinb/Idris-dev
Better unused argument spotting
Fix LLVM codegen of negative integer literals
Added instructions for LLVM and LibFFI by default to README
Add example of custom.mk for building with both optional dependencies
Add note about custom.mk example