Support for Koka v3
Opened this issue · 0 comments
chtenb commented
Koka 3 added some new syntactical features. See the samples/syntax folder for example cases.
I notice the highlighting doesn't quite work for at least these files:
https://github.com/koka-lang/koka/blob/dev/samples/syntax/contexts.kk
https://github.com/koka-lang/koka/blob/dev/samples/syntax/qualifiers.kk
https://github.com/koka-lang/koka/blob/dev/samples/syntax/implicits.kk