owo-lang/intellij-dtlc

IntelliJ plugin for several experimental programming languages here

语言：Kotlin · GitHub 星标：37 · Fork：4

话题：cubical-type-theory · cubicaltt · dependent-types · intellij-plugin · minitt · mlpolyr · owo · redprl

在 GitHub 上查看原仓库