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

Index - C

CallProof.Assistant.Bot
callAgdaProof.Assistant.Agda
callArendProof.Assistant.Arend
callExternalInterpreterProof.Assistant.Interpreter
callIdris2Proof.Assistant.Idris
callLeanProof.Assistant.Lean
callRzkProof.Assistant.Rzk
catchAgdaErrorAgda.Interaction.State
chatIdToStringProof.Assistant.RefreshFile
checkFileAgda.Interaction.Command.Reload
chooseCommand 
1 (Function)Idris.Interaction.Command
2 (Function)Agda.Interaction.Command
CmdArgs 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
ConstraintsAgda.Interaction.Command
ContextAgda.Interaction.Command
CoqProof.Assistant.Bot
coqProof.Assistant.Transport