< raulraja> may have something with refined types although I kotlinlang #arrow

<@U4UGS5FC7> may have something with refined types...

pakoito

04/27/2020, 10:24 PM

@raulraja may have something with refined types, although I don’t believe we have constants-as-types resolved yet

2 Views