From 3baafd5c336d18d87898ae87f16df7cd76bc8d65 Mon Sep 17 00:00:00 2001 From: CodingCellist Date: Sat, 5 Sep 2020 21:37:11 +0200 Subject: Add support for Idris2, closes #534 (#535) --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 8c744c10..6789eb72 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ A collection of language packs for Vim. > One to rule them all, one to find them, one to bring them all and in the darkness bind them. - It **won't affect your startup time**, as scripts are loaded only on demand\*. -- It **installs and updates 120+ times faster** than the 190 packages it consists of. +- It **installs and updates 120+ times faster** than the 191 packages it consists of. - It is more secure because scripts loaded for all extensions are generated by vim-polyglot (ftdetect). - Solid syntax and indentation support (other features skipped). Only the best language packs. - All unnecessary files are ignored (like enormous documentation from php support). @@ -130,6 +130,7 @@ If you need full functionality of any plugin, please use it directly with your p - [html5](https://github.com/othree/html5.vim) - [i3](https://github.com/mboughaba/i3config.vim) - [icalendar](https://github.com/chutzpah/icalendar.vim) +- [idris2](https://github.com/edwinb/idris2-vim) - [idris](https://github.com/idris-hackers/idris-vim) - [ion](https://github.com/vmchale/ion-vim) - [javascript-sql](https://github.com/statico/vim-javascript-sql) -- cgit v1.2.3