[nongnu] elpa/idris-mode updated (1dc558ad24 -> 67e06eccbd)

[ELPA Syncer]

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

      from  1dc558ad24 Merge pull request #561 from jfdm/fix-test
       new  3c3a87c66c Fix failure to find beginning of function type definition
       new  ca860db9ae Merge pull request #562 from keram/make-lemma-underscore
       new  62c3ad2b0d Make empty string always return value from 
`idris-process-filter`
       new  43e8a6e723 Merge pull request #564 from 
keram/fix-encouragement-in-process-buffer
       new  8329b73be8 Move "words of encouragement" from minibuffer to Idris 
repl banner
       new  67e06eccbd Merge pull request #565 from 
keram/words-of-encouragement-in-repl-banner


Summary of changes:
 idris-commands.el       | 4 ++--
 idris-repl.el           | 4 +++-
 inferior-idris.el       | 8 +++-----
 test-data/MakeLemma.idr | 6 ++----
 4 files changed, 10 insertions(+), 12 deletions(-)