Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
documentation: added javascript codegen section to tutorial
remove vim files from contrib in favor of idris-hackers repo
runtest.pl revised and cleaned up
Split Parser.hs into several files

In order to help cut down rebuild time. We have 'Helpers', 'Ops'
and 'Exprs' with Parser.hs now containing top level declarations.
Merge pull request #516 from raichoo/master

documentation: added javascript codegen section to tutorial
Merge pull request #517 from raichoo/vim

remove vim files from contrib in favor of idris-hackers repo
Merge pull request #518 from tauli/master

runtest.pl revised and cleaned up
Further splitting of Parser

This seems to help the build on lower memory machines (< 1Gb being
lower memory!)
Fix segfault in MKSTR

Can't assume that the string resulting from an FFI call is not null!
The RTS generally assumes strings are not null later, however, so it's
important to test.
tutorial ffi: add emphasis

Add emphasis to 'target' in the examples so the string 'target' doesn't
get confused with concrete syntax:

    %include target "x"
tutorial: fix typos, add additional step to proof

An additional step is needed to prove plusredZ_S, namely compute.
tutorial: update interactive proof

Update interactive proof so it matches what one would get at the moment.
Merge pull request #519 from reynir/master

Update tutorial
javascript: apply uses an extra stackframe, not good
javascript: add JSFalse to AST
javascript: start javascript code when DOM is ready