[nongnu] elpa/idris-mode updated (253e2ad909 -> f69b32d689)

[ELPA Syncer]

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

      from  253e2ad909 Merge pull request #605 from keram/print-def
       new  a96c77f658 Remove `save-excursion` block around 
`(idris-load-file-sync)`
       new  d122a70fed Simplify code by replacing `let & if` expressions with 
`or`
       new  b0b3cdf549 Fix code indentation to improve readability
       new  f69b32d689 Merge pull request #608 from keram/code-impro4


Summary of changes:
 idris-commands.el     | 105 +++++++++++++++++++++++---------------------------
 idris-common-utils.el |   4 +-
 2 files changed, 50 insertions(+), 59 deletions(-)