At the end, that required to dig into Caprese.
github.com/ahoy-jon/tes...
Can we safely turn A => C ?=> B into C ?=> A => B.
Yes with CaptureChecking!
Despite the added syntax, the future of Scala looks very promising!
add a skeleton here at some point
7 months ago