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

Index - I

IdrisProof.Assistant.Bot
idrisProof.Assistant.Transport
IdrisCommandIdris.Interaction.Command
IdrisSettings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
inputProof.Assistant.State
InternalInterpreterSettings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
InternalStateProof.Assistant.Transport
interpretAgdaProof.Assistant.Agda
InterpreterProof.Assistant.Interpreter
InterpreterRequest 
1 (Type/Class)Proof.Assistant.Request
2 (Data Constructor)Proof.Assistant.Request
interpreterRequestMessageProof.Assistant.Request
interpreterRequestTelegramChatIdProof.Assistant.Request
interpreterRequestTelegramMessageIdProof.Assistant.Request
InterpreterResponse 
1 (Type/Class)Proof.Assistant.Response
2 (Data Constructor)Proof.Assistant.Response
interpreterResponseResponseProof.Assistant.Response
interpreterResponseTelegramChatIdProof.Assistant.Response
interpreterResponseTelegramMessageIdProof.Assistant.Response
Interpreters 
1 (Type/Class)Proof.Assistant.Transport
2 (Data Constructor)Proof.Assistant.Transport
interpretersProof.Assistant.Transport
InterpretersSettings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
InterpreterState 
1 (Type/Class)Proof.Assistant.State
2 (Data Constructor)Proof.Assistant.State
interpreterStateAgda.Interaction.State
interpretSafeProof.Assistant.Interpreter