Apocrypha

cubicaltt

Mode for cubical type theory

Mode for cubical type theory

homepage ↗

Available in

OverlayNewestEbuildsLast activity
melpa GitHub ↗ 20171108.1402 1 22 h details ›
melpa-stable GitHub ↗ 1.0 1 22 h details ›

Versions & arches

VersionOverlay amd64x86 Committed
20171108.1402 melpa amd64 testing x86 testing 24 mo view · download · history ↗
1.0 melpa-stable amd64 testing x86 testing 24 mo view · download · history ↗

Runtime dependencies of 20171108.1402

show 1 lines
>=app-editors/emacs-26.3:*