Agda.Syntax.Concrete.Definitions

data NiceDeclaration

type NiceConstructor

type NiceTypeSignature

data Clause

data DeclarationException

data DeclarationWarning

data Nice a

runNice

niceDeclarations

notSoNiceDeclarations

niceHasAbstract

type Measure