cubicaltt

Homepage: https://github.com/mortberg/cubicaltt

Updated: 2018-Oct-16

Summary

Mode for cubical type theory

Commentary

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

Dependencies

• cl-lib
• comint