kado icon indicating copy to clipboard operation
kado copied to clipboard
verified publisher icon RedPRL

Split the handling of "<=" into a standalone library for unfolding control

Open favonia opened this issue 2 years ago • 0 comments

The handling of <= might still be useful for directed cubical type theory.

favonia avatar May 26 '23 19:05 favonia