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

raulraja

12/08/2019, 12:38 PM
Type Proofs gives us a generalized strategy to create functional preludes a la carte where some of the strategies include synthetic subtyping, extensions, negation, products, derivation etc.