search

RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Apache License 2.0
204 stars 12 forks source link

Changes from the new-domain branch that can be merged first. #407

Closed favonia closed 5 years ago

favonia commented 5 years ago

All the non-essential changes ~except~ including the removal of label types.