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