2 files changed, 26 insertions, 0 deletions
diff --git a/doc/ale-idris.txt b/doc/ale-idris.txt
new file mode 100644
index 00000000..c7500b0d
--- /dev/null
+++ b/doc/ale-idris.txt
@@ -0,0 +1,23 @@
+===============================================================================
+ALE Idris Integration                                       *ale-idris-options*
+
+===============================================================================
+idris                                                         *ale-idris-idris*
+
+g:ale_idris_idris_executable                     *g:ale_idris_idris_executable*
+                                                 *b:ale_idris_idris_executable*
+  Type: |String|
+  Default: `'idris'`
+
+  This variable can be changed to change the path to idris.
+
+
+g:ale_idris_idris_options                           *g:ale_idris_idris_options*
+                                                    *b: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:
diff --git a/doc/ale.txt b/doc/ale.txt
index 869a5576..eb31b829 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -49,6 +49,8 @@ CONTENTS                                                         *ale-contents*
     html..................................|ale-html-options|
       htmlhint............................|ale-html-htmlhint|
       tidy................................|ale-html-tidy|
+    idris.................................|ale-idris-options|
+      idris...............................|ale-idris-idris|
     java..................................|ale-java-options|
       checkstyle..........................|ale-java-checkstyle|
       javac...............................|ale-java-javac|
@@ -191,6 +193,7 @@ The following languages and tools are supported.
 * Handlebars: 'ember-template-lint'
 * Haskell: 'ghc', 'stack-ghc', 'stack-build', 'ghc-mod', 'stack-ghc-mod', 'hlint', 'hdevtools'
 * HTML: 'HTMLHint', 'proselint', 'tidy'
+* Idris: 'idris'
 * Java: 'javac'
 * JavaScript: 'eslint', 'jscs', 'jshint', 'flow', 'prettier', 'prettier-eslint', 'xo'
 * JSON: 'jsonlint'