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(-)
