issues
search
idris-hackers
/
idris-vim
Idris mode for vim
221
stars
52
forks
source link
Add hide directive, alphabetize list.
#7
Closed
walkie
closed
10 years ago