https://github.com/owo-lang/intellij-dtlc

IntelliJ plugin for several experimental programming languages here

cubical-type-theory cubicaltt dependent-types intellij-plugin minitt mlpolyr owo redprl voile

Last synced: 29 Nov 2024