elpasync pushed a change to branch elpa/idris-mode.
from b264cbf643 Merge pull request #638 from ZharMeny/main
new 73c718af17 Improve idris-filename-to-load to return a pair of
new 1856fdb4bf Merge pull request #634 from
keram/idris-filename-to-load-v2
new a41b1aaffc [fix] Fix compilation warning
new d84d65aabf [fix] Add missing IPKG `langversion` keyword
new ccf32ed0b5 Merge pull request #639 from ska80/fixes1
Summary of changes:
idris-commands.el | 16 ++++++++--------
idris-compat.el | 23 +++++++++++++++++++++++
idris-ipkg-mode.el | 1 +
idris-settings.el | 2 +-
test/idris-commands-test.el | 40 ++++++++++++++++++++++++++++++++++++++++
5 files changed, 73 insertions(+), 9 deletions(-)
