There isn't really a better IDE for Idris currently along with it being part of the full Guix experience. Most modern IDEs I've tried tend to either not be supp

There isn't really a better IDE for Idris currently along with it being part of the full Guix experience. Most modern IDEs I've tried tend to either not be supported on platforms I tend to use or come with many features I didn't really ask for. That and they usually are a pain to configure. If and emacs-like in configurability with less cruft comes around I'll probably switch to it.