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

Index - P

Packages 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
parseExprAgda.Interaction.Command.Internal.Parser
parseRequest 
1 (Function)Proof.Assistant.Idris
2 (Function)Proof.Assistant.Agda
Priority 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
processErrorProof.Assistant.Helpers
proofAssistantBotProof.Assistant.Bot
proofAssistantBotVersionProof.Assistant.Version