proof-assistant-bot-0.2.0: Telegram bot for proof assistants

Index - S

ScopeAgda.Interaction.Command
SendBackProof.Assistant.Bot
sendResponseBackProof.Assistant.Bot
setArendProjectProof.Assistant.Arend
setEnvAgda.Interaction.State
setLimitsProof.Assistant.ResourceLimit
setPriorityProof.Assistant.ResourceLimit
Settings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
settingsProof.Assistant.State
showConstraintsAgda.Interaction.Command.ShowConstraints
showContextAgda.Interaction.Command.ShowContext
showMetasAgda.Interaction.Command.ShowMetas
showScopeAgda.Interaction.Command.ShowScope
storeRequestContentAgda.Interaction.Command
supportedCommands 
1 (Function)Idris.Interaction.Command
2 (Function)Agda.Interaction.Command