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

Index - H

handleActionProof.Assistant.Bot
handleErrorMaybeProof.Assistant.Helpers
Help 
1 (Data Constructor)Idris.Interaction.Command
2 (Data Constructor)Agda.Interaction.Command
3 (Data Constructor)Proof.Assistant.Bot