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

Index - M

makeLimitsProof.Assistant.ResourceLimit
makeResourceLimitsProof.Assistant.ResourceLimit
makeTelegramResponseProof.Assistant.Response
makeVersionProof.Assistant.Version
matchSupported 
1 (Function)Idris.Interaction.Command
2 (Function)Agda.Interaction.Command
MetaAgda.Interaction.Command
metaParseExprAgda.Interaction.Command.Internal.Parser
ModelProof.Assistant.Bot