Geeks
ar-nelson
/
vim-syntax-hol4
Vim syntax file for the HOL4 language
Primary Language
VimL
MIT License
MIT
vim-syntax-hol4 GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
vim-syntax-hol4
Vim syntax file for the HOL4 language