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

Index - E

EvalAgda.Interaction.Command
evalInAgda.Interaction.Command.EvalIn
evalTermAgda.Interaction.Command.EvalTerm
Executable 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
ExternalInterpreterSettings 
1 (Type/Class)Proof.Assistant.Settings
2 (Data Constructor)Proof.Assistant.Settings
ExternalStateProof.Assistant.Transport