[nongnu] elpa/idris-mode updated (d08fd3ec78 -> 0cae4b8086)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  d08fd3ec78 Merge pull request #569 from keram/idris2-mode-issues-16
       new  216945f4a6 Fix highlight source for Idris 1 protocol >= 1
       new  2fab0a7ea9 Extract `idris-highlight-source-file` from 
`idris-load-file`
       new  0cae4b8086 Merge pull request #575 from keram/idris1-highlight-fix


Summary of changes:
 idris-commands.el        | 27 +--------------------------
 idris-highlight-input.el | 26 ++++++++++++++++++++++++++
 2 files changed, 27 insertions(+), 26 deletions(-)