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

raulraja

12/08/2019, 12:43 PM
Proofs draw morphisms from A -> B so they remove the need to explicitly extend or subtype other types in the hierarchy in order to provide ad-hoc behaviors over the values of these types.