Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sergiobonatto/agda-vim
https://github.com/sergiobonatto/agda-vim
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/sergiobonatto/agda-vim
- Owner: SergioBonatto
- Created: 2024-09-12T17:35:59.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2024-09-12T18:20:04.000Z (4 months ago)
- Last Synced: 2024-09-13T06:57:01.303Z (4 months ago)
- Language: Vim Script
- Size: 904 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Agda-vim
Syntax file highlight for Agda
## Installation
### On NeoVim
Clone this repo and past the file "Agda.vim" into `~/.config/nvim/syntax/Agda.vim` and add in your `init.vim` file the next line:
#### On NeoVim
Clone this repo and past the folder "syntax" into `~/.config/nvim/` and add in your `init.vim` file the next line:
### On VIM
Clone this repo and past the file "Agda.vim" into `~/.vim/syntax/Agda.vim` and add in your `.vimrc` file the next line:
```vim
au BufRead,BufNewFile *.Agda set filetype=Agda
au BufNewFile,BufRead *.Agda set syntax =Agda
```
## Preview
