Really? My experience is that emacs had the only support for rarely used languages.
In my experience, everything except syntax highlighting often doesn't work. But, anyway these are esoteric languages.
What about selecting the android device to run an application on when you have multiple devices connected?
I don't use android, but you can create several run configurations, one for each device, and run them via shortcut. My configuration works like this: I set Ctrl+R to show popup menu with available options, then I type the name of the configuration and press enter.
Side note: Esoteric languages aren't usually languages that follow the dictionary definition of esoteric. That is to say, being uncommonly used doesn't make something an "esoteric language". The term is usually reserved for intentionally strange languages like Brainfuck, Whitespace, Shakespeare, etc.
Idris and Agda are serious languages built to do really amazing things. They're both still pretty young, but have incredible potential.
Comments
Does company-mode completion not work for you?
Really? My experience is that emacs had the only support for rarely used languages.
What about selecting the android device to run an application on when you have multiple devices connected?
What do you mean by this?
In my experience, everything except syntax highlighting often doesn't work. But, anyway these are esoteric languages.
I don't use android, but you can create several run configurations, one for each device, and run them via shortcut. My configuration works like this: I set Ctrl+R to show popup menu with available options, then I type the name of the configuration and press enter.
Another action you probably aren't aware of is Navigate to action. It works in a way similar to M-x in emacs. See more here: https://www.jetbrains.com/idea/help/navigating-to-action.htm...
Side note: Esoteric languages aren't usually languages that follow the dictionary definition of esoteric. That is to say, being uncommonly used doesn't make something an "esoteric language". The term is usually reserved for intentionally strange languages like Brainfuck, Whitespace, Shakespeare, etc.
Idris and Agda are serious languages built to do really amazing things. They're both still pretty young, but have incredible potential.