search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Put some space between the input and output of \e (Evaluate) #2

Closed LeifW closed 10 years ago

LeifW commented 10 years ago

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

raichoo commented 10 years ago

Fixed.