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)

---
 after/ftplugin/idris2.vim | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 after/ftplugin/idris2.vim

(limited to 'after/ftplugin/idris2.vim')

diff --git a/after/ftplugin/idris2.vim b/after/ftplugin/idris2.vim
new file mode 100644
index 00000000..b96ae5b6
--- /dev/null
+++ b/after/ftplugin/idris2.vim
@@ -0,0 +1,5 @@
+if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris2') == -1
+
+setlocal iskeyword+='
+
+endif
-- 
cgit v1.2.3