Agda.Syntax.Concrete.Definitions
data
NiceDeclaration
data
NiceDefinition
type
NiceConstructor
type
NiceTypeSignature
data
Clause
data
DeclarationException
type
Nice
runNice
niceDeclarations
notSoNiceDeclarations