X-Git-Url: https://git.madduck.net/etc/vim.git/blobdiff_plain/0ee596c5c5e11fc79598407eaf22f83d279f7e9e..5a4872f466ebd76ddd532bdf2798554421c53df4:/.vim/bundle/ale/doc/ale-idris.txt?ds=sidebyside

diff --git a/.vim/bundle/ale/doc/ale-idris.txt b/.vim/bundle/ale/doc/ale-idris.txt
new file mode 100644
index 00000000..b771a87d
--- /dev/null
+++ b/.vim/bundle/ale/doc/ale-idris.txt
@@ -0,0 +1,30 @@
+===============================================================================
+ALE Idris Integration                                       *ale-idris-options*
+
+
+===============================================================================
+idris                                                         *ale-idris-idris*
+
+                                           *ale-options.idris_idris_executable*
+                                                 *g:ale_idris_idris_executable*
+                                                 *b:ale_idris_idris_executable*
+idris_idris_executable
+g:ale_idris_idris_executable
+  Type: |String|
+  Default: `'idris'`
+
+  This variable can be changed to change the path to idris.
+
+                                              *ale-options.idris_idris_options*
+                                                    *g:ale_idris_idris_options*
+                                                    *b:ale_idris_idris_options*
+idris_idris_options
+g:ale_idris_idris_options
+  Type: |String|
+  Default: `'--total --warnpartial --warnreach --warnipkg'`
+
+  This variable can be changed to modify flags given to idris.
+
+
+===============================================================================
+  vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: