https://plugins.jetbrains.com/plugin/20871-miranda-language-support
Miranda Language Support - IntelliJ IDEs Plugin | Marketplace
This plugin adds syntax highlighting for the Miranda language to IntelliJ IDEs.
miranda languageplugin marketplacesupportintellijides