search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Idris response window empty, #43

Closed j-walk closed 8 years ago

j-walk commented 8 years ago

As the title says, really.

i response window is empty. Vim 74, Idris 0.9.19, Idris-vim commit#5c36a164c220