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

https://github.com/dmytromitin/hott-cubicaltt-exercises

cubicaltt haskell homotopy-type-theory hott type-theory

Last synced: 21 Feb 2025

https://github.com/forked-from-1kasper/hott-solutions

cubicaltt hott

Last synced: 24 Feb 2025