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

Index - T

t2sProof.Assistant.Helpers
textResponseIdris.Interaction.Command
textToBSProof.Assistant.Helpers
Time 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
toBSProof.Assistant.Helpers
toIntProof.Assistant.Helpers
ToInterpreterStateProof.Assistant.Settings
toSendMessageRequestProof.Assistant.Response
TypeInAgda.Interaction.Command
typeInAgda.Interaction.Command.TypeIn
TypeOf 
1 (Data Constructor)Idris.Interaction.Command
2 (Data Constructor)Agda.Interaction.Command
typeOfAgda.Interaction.Command.TypeOf