Zulip Chat Archive
Stream: triage
Topic: issue #5525: Unify (or at least connect) `order_hom` and ...
Random Issue Bot (Apr 15 2022 at 14:14):
Today I chose issue 5525 for discussion!
Unify (or at least connect) order_hom and rel_hom
Created by @Aaron Anderson (@awainverse) on 2020-12-29
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 22 2022 at 14:13):
Today I chose issue 5525 for discussion!
Unify (or at least connect) order_hom and rel_hom
Created by @Aaron Anderson (@awainverse) on 2020-12-29
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jul 03 2023 at 14:07):
Today I chose issue 5525 for discussion!
Unify (or at least connect) order_hom and rel_hom
Created by @Aaron Anderson (@awainverse) on 2020-12-29
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC