Open Seasawher opened 1 month ago
Zulip: anti pattern
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Anti-patterns.20in.20Lean
What are some examples of [anti-patterns](https://en.wikipedia.org/wiki/Anti-pattern) is Lean? One example I can think of is using equality of types
Zulip: anti pattern
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Anti-patterns.20in.20Lean