Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Update for idris 0.9.9.3
Change Prelude.Strings.pack to apply to Foldable
Fix ambiguity in test
Store arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl details
Implement argument access under LLVM codegen
Fix test reg004 ignoring extra arguments
Take board path as argument
Rearrangement in preparation for use as benchmark
Merge branch 'quasigroups' into quasigroup-solver-benchmark
Add test board and wire up quasigroup solver to benchmark tools
Merge pull request #614 from Melvar/foldable-pack

Change Prelude.Strings.pack to work with Foldables
Merge pull request #615 from Ralith/args-cleanup

Argument access cleanup
Merge pull request #616 from Ralith/quasigroup-solver-benchmark

Quasigroup solver benchmark
Add a canonical Char→String function and Cast instance
Get some diagnostic info on why the Idris REPL refuses your connection.

Or get an alert someone's trying to hack you, whatever.
Why "do" when you can "<$>"?