Zulip Chat Archive
Stream: mathlib4
Topic: Control.Traversable.Instances (mathlib4#1393)
Sky Wilshaw (Jan 10 2023 at 12:03):
SInce writing the PR, it's stopped building. I think it's an issue with invocations to simp [functor_norm], but I don't think I understand that infrastructure enough to #mwe it.
Last updated: May 02 2025 at 03:31 UTC