search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Apply type query fixes to more commands. #72

Closed stephen-smith closed 7 years ago

stephen-smith commented 7 years ago

Damage from a8f9fad was actually larger than issue #69. This recovers from more of the fallout, though I'm not sure all of it.

melted commented 7 years ago

Thanks!