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

Index - A

ActionProof.Assistant.Bot
actOnMetaAgda.Interaction.Command.Internal.Parser
AgdaProof.Assistant.Bot
agdaProof.Assistant.Transport
AgdaCommandAgda.Interaction.Command
agdaEnvRefAgda.Interaction.State
AgdaSettings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
AgdaState 
1 (Type/Class)Agda.Interaction.State
2 (Data Constructor)Agda.Interaction.State
agdaStateRefAgda.Interaction.State
ArendProof.Assistant.Bot
arendProof.Assistant.Transport
ArendSettings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
asyncWaitProof.Assistant.Helpers