Arend plugin for IntelliJ IDEA - View it on GitHub