CT_from_Programmers.scala
CT_from_Programmers.scala copied to clipboard
Add Type Lambdas in Scala3 syntax as well
There's currently the ugly type lambda syntax (see 1.7 for example)
In addition to the comment about Kind projector, maybe (in addition) specify the proposed dotty/scala3 syntax?
It's probably worthwhile to mention that Scala3 will likely to have a built-in syntax. Not sure if we need to give more specifics than that though.