idris-vim
idris-vim copied to clipboard
String literal not processed correctly

When the cursor is under the word "Sausage" -- which is part of the string literal -- and you put \t then this plugin will tell you No such variable Sausage, it suggests that the word "Sausage" is recongnized as an identifier by this plugin.