JetBrains/intellij-arend
Arend plugin for IntelliJ IDEA
⭐ 95
⑂ 11
Kotlin
Apache-2.0
· 2025-02-26推送
95
Watchers
0
贡献者
0
Commits
0
Releases
31
Open Issues
2025-02-26
最近推送
原文
中文
暂无 README