Zulip Chat Archive
Stream: mathlib4
Topic: Control.Fix
Shreyas Srinivas (Dec 23 2022 at 20:56):
Hi Everyone,
I have some time on my hands and would like to try Control.Fix. It is on #port-status and I see no PRs for it yet. Is there anything I should know about this file in particular (for e.g.: not to be ported or something to be refactored?)
Shreyas Srinivas (Dec 23 2022 at 23:17):
mathlib4#1194 is ready for review
Last updated: Dec 20 2023 at 11:08 UTC