Zulip Chat Archive
Stream: triage
Topic: PR !4#22662: feat: Localization.Away.lift (computably)
Random Issue Bot (Jan 19 2026 at 14:15):
Today I chose PR #22662 for discussion!
feat: Localization.Away.lift (computably)
Created by @Aaron Liu (@plp127) on 2025-03-06
Labels: merge-conflict, t-algebra
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Feb 28 2026 at 14:05 UTC