idris-hackers/idris-vim — pull request #2 by LeifW (2013-10-30 04:43:50+00:00)
Title: Put some space between the input and output of \e (Evaluate)

So you get `5+5 = 10 : Integer` instead of `5+510 : Integer`