Zulip Chat Archive
Stream: lean4
Topic: Custom error message for type classes
Juan Pablo Romero (Aug 27 2022 at 18:24):
Hi, Is there a way to define a custom error message when type class resolution fails?
Last updated: Dec 20 2023 at 11:08 UTC
Hi, Is there a way to define a custom error message when type class resolution fails?
Last updated: Dec 20 2023 at 11:08 UTC