Review request for Plausible#35

Stream: batteries

[Ernest Ng]

Hi! I was wondering if someone could review PR #35 for the Plausible property-based testing library, which introduces a deriving handler which derives random generators for algebraic data types (simple inductive types)? I'm a summer intern at AWS working on developing PBT infrastructure for Lean, and this PR is part of my project. Thanks!

[Justin Asher]

This is neat!

[Cody Roux]

@Henrik Böving , maybe?

[Henrik Böving]

Already did^^