Zulip Chat Archive

Stream: mathlib4

Topic: !4#3209

Matthew Ballard (Apr 01 2023 at 00:50):

In porting CategoryTheory.Monad.Kleisli !4#3209, I had to restart Lean after every single change in the file. Curious if others can replicate this problem.

Adam Topaz (Apr 01 2023 at 03:49):

I don't have any obvious issues with this file. Was this before you got the file to build? Is it still causing problems?

Last updated: Dec 20 2023 at 11:08 UTC