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

Open

Assignees

opened

on May 26, 2023

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

Metadata

Assignees

favonia

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests