JetBrains/intellij-arend

Arend plugin for IntelliJ IDEA

语言：Kotlin · GitHub 星标：95 · Fork：11

话题：arend · intellij · intellij-plugin

在 GitHub 上查看原仓库