feat: Derive Arbitrary instances for inductive datatypes.#41

hargoniX merged 1 commit intoleanprover-community:mainleanprover-community/plausible:mainfrom

codyroux:derive-arbitrarycodyroux/plausible:derive-arbitraryCopy head branch name to clipboard