https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
r

raulraja

12/08/2019, 12:48 PM
Inductive proofs will bring automatic derivation for data classes and sealed classes, unions, etc.