Zulip Chat Archive
Stream: lean4
Topic: deriving
Christian Pehle (Jan 17 2021 at 20:48):
Is there an analogue of registerBuiltinDerivingHandler for user code?
Last updated: Dec 20 2023 at 11:08 UTC
Is there an analogue of registerBuiltinDerivingHandler for user code?
Last updated: Dec 20 2023 at 11:08 UTC