We should be able to use constraint ordering on ordinals. #39

Open

Open

We should be able to use constraint ordering on ordinals.#39

Labels

This is needed to write subtyping proof manually (and checking termination giving exact induction hyp).
Need a use case first ?

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests