Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
javascript: substitute projections
javascript: reduce bitint constants
Added column name to source
Fix bug in scoping rules for pattern matches

If a name appears in argument position which is also a constructor
name, it should be pattern-bound unless there is a constructor which
has zero explicit arguments.
Update Effect.File to use new failure handling

i.e. using if_valid to test for failure, and update resource accordingly,
rather than using exceptions.
Fix missing case in Defunctionalise.hs

Compilation should assume that all names have been fully resolved and
there is no ambiguity. This should solve the issue reported in #548, but
I can't confirm without a test case.
Merge pull request #547 from raichoo/master

JavaScript
Added 'srand' to Effect.Random
Have --ideslave print errors properly

Before, it was using the Show instance, whereas now it calls the
pretty-printer for errors.

Fixes #549.
Make 'parameters' a keyword such that parameters block doesn't parse as
a function declaration. Fixes idris-lang/Idris-dev#546 .
Merge pull request #554 from ahmadsalim/feature/fixparameters

Make 'parameters' a keyword
Merge pull request #553 from david-christiansen/issue/549

Have --ideslave print errors properly
Fixed flaw with FC dependency by making FC equality always return true.
If any fc equality is needed just use FC' fc to convert. Fixes
idris-lang/Idris-dev#550
Changed the Idris version back, fixed the IBC version instead
Merge branch 'feature/columntracking' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/columntracking
Addition of indentation property support.
Fixes indentation property of arguments to tactics such that they are
parsed correctly. Fixes idris-lang/Idris-dev#551.