issues
search
idris-hackers
/
idris-vim
Idris mode for vim
221
stars
52
forks
source link
Update the syntax_checker for compatiblity with newer versions of syntas...
#4
Closed
sjdrodge
closed
10 years ago
sjdrodge
commented
10 years ago
...tic.
timjb
commented
10 years ago
This fixes idris-vim for me. Thanks!
...tic.