Zulip Chat Archive
Stream: general
Topic: Documentation on the `deriving` API
nrs (Jan 28 2025 at 00:19):
Hi, I was wondering, is there documentation on the deriving
API somewhere? Or does anyone have suggestions of where I could look up how it's used in source? Cheers!
edit: the new manual has some comments on it
Last updated: May 02 2025 at 03:31 UTC