Zulip Chat Archive
Stream: triage
Topic: issue #5525: Unify (or at least connect) `preorder_hom` a...
Random Issue Bot (Jan 29 2021 at 14:23):
Today I chose issue 5525 for discussion!
Unify (or at least connect) preorder_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