Which Emacs mode for Idris 2?

[Dirk Ullrich]

Hi all,

after a long time staying away from Idris it's time to give it another try.

I would like to use Emacs to interact with Idris 2. Looking for a
suitable mode I've noticed that there is idris2-mode
(https://github.com/idris-community/idris2-mode), but good old
idris-mode (https://github.com/idris-hackers/idris-mode) has recently
got (some?) Idris 2 support, too. Any suggestions which one should be
preferred to work with Idris 2?

Dirk