Agda.Syntax.Concrete.Definitions

data NiceDeclaration

data NiceDefinition

type NiceConstructor

type NiceTypeSignature

data Clause

data DeclarationException

type Nice

runNice

niceDeclarations

notSoNiceDeclarations