class AgdaConfig#

• supers: LanguageConfig

Configuration for the Agda layer

fields#

AgdaConfig.cornelis#

AgdaConfig.cornelis : table

Cornelis configuration

AgdaConfig.binds#

AgdaConfig.binds : table<table,function>

Agda-specific binds