idris-lang/Idris-dev — pull request #1511 by tac-tics (2014-09-03 19:22:26+00:00)
Title: Add test for basic REPL commands

I added a new test for many of the basic REPL commands.