idris-hackers/idris-mode — pull request #216 by david-christiansen (2014-07-17 16:10:04+00:00)
Title: Initial tests of interactive editing

This PR causes Travis to install Idris. It also introduces automatic tests for some of the interactive editing functionality as well as one of the configuration options. Adding the tests inspired a bit of code cleanup as well.