Jacek Podkanski

Yes, this is a tricky question. I use Linux most of the time, but recently to my horror, I have discovered that many libraries that are important to me do...

I only tried a few GUI libraries and none of them worked properly. I mean I had for a while almost working qtools and cl-cffi-gtk, but I have no idea...

global_phone_dbgen https://github.com/googlei18n/libphonenumber/blob/master/resources/PhoneNumberMetadata.xml > db/global_phone.json appears to work

Has this issue been resolved yet? It was a sad day of futile search for a solution.

Please do not close the issue for the sake of closing it and do something about it. For many years, rvm has been an easy-to-use solution for managing rubies. People...

Maybe there is no solution, and for this case, I will have to maintain an old VM to support the old code. All the hacks that promise the fix to...

Has anybody done some work towards Idris2 integration? What needs changing? To keep backwards compatibility with old Idris we need something better than idris-interpreter-path. Do you have any suggestions?

https://github.com/bigos/idris-mode/blob/36db9f91db0e17473324b4362dcb2e00a7ac9dfe/idris-core.el#L35 with example like this where do I start in adopting existing mode to Idris 2?

In such case I will wait. By the way, do you think my description of reloading mode code may be useful? [https://github.com/bigos/idris-mode/blob/wip1/development-notes.org](url)

@ether42 Did you mean something like that? https://github.com/bigos/idris-mode/blob/ad1049febb64ffdd8c8d2612bb1d88a5f96b83fd/idris-repl.el#L263