From 3baafd5c336d18d87898ae87f16df7cd76bc8d65 Mon Sep 17 00:00:00 2001
From: CodingCellist <teh6@st-andrews.ac.uk>
Date: Sat, 5 Sep 2020 21:37:11 +0200
Subject: Add support for Idris2, closes #534 (#535)

---
 packages.yaml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'packages.yaml')

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:
-- 
cgit v1.2.3