Agda Layer

class AgdaLayer #

supers: LanguageLayer

methods #

AgdaLayer.packages #

function AgdaLayer.packages() ->  (PackageSlug|Package)[]

AgdaLayer.load #

function AgdaLayer.load() ->  nil

AgdaLayer.grammars #

function AgdaLayer.grammars() ->  string[]?

AgdaLayer.server #

function AgdaLayer.server() ->  string?

fields #

AgdaLayer.default_config #

AgdaLayer.default_config : AgdaConfig {
    cornelis: table,
    binds: table<table,function>,
}

AgdaLayer.config #

AgdaLayer.config : AgdaConfig {
    cornelis: table,
    binds: table<table,function>,
}