Do you people know if there exist any operational ...

# announcements

[Johan Luttu]

Do you people know if there exist any operational semantics or any other type of formal semantics for Kotlin? I've searched in Kotlin docs and paper databases without any success