idris-lang/Idris-dev — pull request #728 by david-christiansen (2013-12-12 21:44:16+00:00)
Title: Invoke the chaser as a consequence of :l

This has also been updated for the --ideslave equivalent. Fixes #727.