Inductive proofs will bring automatic derivation for data cl kotlinlang #arrow-contributors

Inductive proofs will bring automatic derivation f...

raulraja

12/08/2019, 12:48 PM

Inductive proofs will bring automatic derivation for data classes and sealed classes, unions, etc.