Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
Merge pull request #582 from ahmadsalim/feature/metavariableparserfix

Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
Name resolution should respect %hide

Fixes #573
Fix display of errors in prover
Clarify parity/natToBin in the tutorial

Fixes #583
Small tutorial tweaks for 0.9.10
Merge pull request #584 from david-christiansen/error-reflection

Fix display of errors in prover
Properly show errors in batch compile mode
Create directory for storing history at startup
Merge pull request #585 from david-christiansen/error-reflection

Properly show errors in batch compile mode
Stop CPP from emitting useless warnings
Add test_all target to run tests for all backends

(excellent for coffee breaks)
Fix case splitting where patterns shadow global names
Merge pull request #586 from david-christiansen/create-dir-startup

Create directory for storing history at startup
Merge pull request #587 from david-christiansen/cpp-warnings

Stop CPP from emitting useless warnings
Merge pull request #588 from david-christiansen/test_all

Add test_all target to run tests for all backends