Agda.Interaction.CommandLine.CommandLine
data
ExitCode
a
type
Command
a
matchCommand
interaction
interactionLoop
continueAfter
loadFile
showConstraints
showMetas
showScope
metaParseExpr
actOnMeta
giveMeta
refineMeta
retryConstraints
evalIn
parseExpr
evalTerm
typeOf
typeIn
showContext
splashScreen
help