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

raulraja

11/18/2019, 8:59 AM
Tuples.kt
s

shikasd

11/19/2019, 5:18 AM
Is this proof annotation impl available anywhere?
r

raulraja

11/19/2019, 9:52 AM
it’s currently on a branch being developed in the arrow meta repo
s

shikasd

11/20/2019, 12:02 PM
Wow, that actually looks amazing