kotlin.md

 1# Kotlin
 2
 3Kotlin language support in Zed is provided by the community-maintained [Kotlin extension](https://github.com/zed-extensions/kotlin).
 4Report issues to: [https://github.com/zed-extensions/kotlin/issues](https://github.com/zed-extensions/kotlin/issues)
 5
 6- Tree-sitter: [fwcd/tree-sitter-kotlin](https://github.com/fwcd/tree-sitter-kotlin)
 7- Language Server: [fwcd/kotlin-language-server](https://github.com/fwcd/kotlin-language-server)
 8
 9## Configuration
10
11Workspace configuration options can be passed to the language server via lsp
12settings in `settings.json`.
13
14The following example changes the JVM target from `default` (which is 1.8) to
15`17`:
16
17```json
18{
19  "lsp": {
20    "kotlin-language-server": {
21      "settings": {
22        "compiler": {
23          "jvm": {
24            "target": "17"
25          }
26        }
27      }
28    }
29  }
30}
31```
32
33The full list of workspace configuration options can be found
34[here](https://github.com/fwcd/kotlin-language-server/blob/main/server/src/main/kotlin/org/javacs/kt/Configuration.kt).