PR #7980: feat(order/directed): Add codirected_order clas...

Stream: triage

[Random Issue Bot]

Today I chose PR 7980 for discussion!

feat(order/directed): Add codirected_order class and associated instances.
Created by @Adam Topaz (@adamtopaz) on 2021-06-17
Labels: WIP, please-adopt

Is this PR still relevant? Any recent updates? Anyone making progress?

[Adam Topaz]

Do I understand correctly that @Yaël Dillies is working on something related to this? In any case, I'm happy to close #7980 (I'm certainly not planning to work on this any time soon).