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