This package provides a major mode for editing proofs or programs
in cubical, an implementation of cubical type theory.