idris-lang/Idris-dev — pull request #1049 by david-christiansen (2014-04-10 06:20:16+00:00)
Title: Extract giant case block to top-level function in IDESlave in REPL.hs

This is for readability.