Jan de Muijnck-Hughes

That is a good question (Look & Feel)! I think your suggestion is quite natural and makes sense. It would allow for better organisation. In general, perhaps, going by what...

Thanks for the feedback, if you want to submit a PR to fix this then please do.

Sorry about the delay in someone checking your PR. Although I am an emacs user I do not know too much about the internals or making modes. So I am...

This is interesting...

I just checked: the Compile & Execute menu works for Idris1 only, Idris2 causes an error. So yes fixing Idris-mode for idris2 would be good.

> I noticed that if I comment out some pieces of the code, it actually compiles. It would be good to know which code being removed makes the issue go...

Thanks for the comments > So now we are back where we started with a huge list of files :-) > Having expanded file lists is the only way to...

It would be good to review the versions of GHC that Travis, at a minimum, should test with. From an quick search of two known LTS like operating systems: +...

Of note, Stack also has the `allow-newer: true` flag that might help. The current development branch of Idris does use LTS 12.X series but there hasn't been enough churn to...

It might be a problem with your setup: A quick search brings me to this issue. https://github.com/commercialhaskell/stack/issues/1012 Regardless, without further details about your setup it is hard, unfortunately, to diagnose...