bamboo

import org.gradle.api.internal.artifacts.repositories.layout.IvyRepositoryLayout
import java.io.InputStream
import java.util.zip.*

object Attributes {
    val artifactType = Attribute.of("artifactType", String::class.java)
    val zipType = "zip"
    val jars = "jars"
}

bamboo

import org.gradle.tooling.events.FinishEvent
import javax.inject.Inject

abstract class TraceService : BuildService<TraceService.Parameters>, org.gradle.tooling.events.OperationCompletionListener {

    private
    var projectsEvaluated = false

    interface Parameters : BuildServiceParameters {
    }

bamboo

VSCode

Hacky way to get VSCode to activate idris2-lsp.

1. Clone https://github.com/microsoft/vscode-extension-samples

2. cd vscode-extensions-samples/lsp-sample and follow the README

3. Apply the following diff adapting serverModule to your environment