diff options
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: |