Tuples.kt
# arrow-metar
raulraja
11/18/2019, 8:59 AMTuples.kt
s
shikasd
11/19/2019, 5:18 AMIs this proof annotation impl available anywhere?
r
raulraja
11/19/2019, 9:52 AMit’s currently on a branch being developed in the arrow meta repo
raulraja
11/19/2019, 9:53 AMs
shikasd
11/20/2019, 12:02 PMWow, that actually looks amazing