diff options
| author | CodingCellist <teh6@st-andrews.ac.uk> | 2020-09-05 21:37:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-05 21:37:11 +0200 |
| commit | 3baafd5c336d18d87898ae87f16df7cd76bc8d65 (patch) | |
| tree | 3bd6787bde3c5713fd5cfc7c962d60ac4b3dac50 /packages.yaml | |
| parent | b0124dc88082f5ed8c96faa16d3b334d38f5949f (diff) | |
| download | vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.tar.gz vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.zip | |
Add support for Idris2, closes #534 (#535)
Diffstat (limited to 'packages.yaml')
| -rw-r--r-- | packages.yaml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/packages.yaml b/packages.yaml index ca5de3a3..04dd4cd4 100644 --- a/packages.yaml +++ b/packages.yaml @@ -755,6 +755,19 @@ filetypes: extra_filenames: - idris-response --- +name: idris2 +remote: edwinb/idris2-vim +filetypes: +- name: idris2 + extensions: + - idr + - ipkg + filenames: + - idris-response +- name: lidris2 + extensions: + - lidr +--- name: ion remote: vmchale/ion-vim filetypes: |