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