We should be able to use constraint ordering on ordinals. #39
Description
This is needed to write subtyping proof manually (and checking termination giving exact induction hyp).
Need a use case first ?
{{ message }}
This is needed to write subtyping proof manually (and checking termination giving exact induction hyp).
Need a use case first ?