===============================================================================
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: