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>,
}