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