gentoo.mahdi.cz
app-emacs
:cubicaltt
Mode for cubical type theory
https://github.com/mortberg/cubicaltt
cubicaltt-20171108.1402
download
~amd64 ~x86
melpa
cubicaltt-1.0
download
~amd64 ~x86
melpa-stable