cubicaltt topic
List
cubicaltt
repositories
intellij-dtlc
34
Stars
5
Forks
Watchers
IntelliJ plugin for several experimental programming languages here
owo-lang
cubical-type-theory
cubicaltt
dependent-types
intellij-plugin