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 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
Merge remote-tracking branch 'upstream/master' into readme-llvm-ffi to fix reg016.
Merge branch 'master' into NullPtr
Merge pull request #603 from david-christiansen/readme-llvm-ffi

Update README with info about optional dependencies
Merge pull request #594 from JanBessai/NullPtr

Null ptr
Update for idris 0.9.9.3
Added LaTeX support for Idris.
Normalise pattern types when typechecking

Otherwise the erasure of collapsible variables doesn't necessarily spot
them on the right hand side, and we can't normalise there because we
don't have the right context information and forcing has already
happened.

Fixes #596
Set up more partial evaluation machinery

elabPE in ElabDecls now searches for partially evaluatable names (by
searching for statics), creates a new definition and elaborates and
specialises that (so recursively finding any more partially evaluatable
names).

Not finished yet, so call to elabPE is commented out for now.
Fix case split bug on complex nested patterns

Leave 'type' implicit arguments to be inferred, rather than have built.