PR !4#13092: chore: drop order dependency from Data.Nat.Defs

Stream: triage

[Random Issue Bot]

Today I chose PR 13092 for discussion!

chore: drop order dependency from Data.Nat.Defs
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2024-05-21
Labels: merge-conflict, awaiting-CI

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

[Yaël Dillies]

I think this is not relevant anymore. Ruben, agree?

[Ruben Van de Velde]

Closed