IntelliJ IDEA is a Java IDE. This is a commercial product, although there is a free and open-source IntelliJ community edition, but this is a cut down version and it is only available to certain types of user.
see
This software has a number of add-ins such as MPS (more information on page here) which allows you to design your own DSL (domain specific language).
Install
In browser go to: www.jetbrains.com
Download tar file and extract
mjb@localhost:~> cd idea-IC-213.6777.52/bin mjb@localhost:~/idea-IC-213.6777.52/bin> ./idea.sh No protocol specified No protocol specified No protocol specified Mar 02, 2022 11:41:15 AM java.util.prefs.FileSystemPreferences$1 run INFO: Created user preferences directory. Mar 02, 2022 11:41:15 AM java.util.prefs.FileSystemPreferences$6 run WARNING: Prefs file removed in background /home/mjb/.java/.userPrefs/prefs.xml No protocol specified No protocol specified No protocol specified mjb@localhost:~/idea-IC-213.6777.52/bin> cd ~/.config/JetBrains/IdeaIC2021.3 mjb@localhost:~/.config/JetBrains/IdeaIC2021.3
Now we can start jetbrains by typing:
mjb@localhost:~> cd idea-IC-213.6777.52/bin mjb@localhost:~/idea-IC-213.6777.52/bin> ./idea.sh
Next
To use Arend see page here.