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

Index - W

WakeUpAgda.Interaction.Command
withChatProof.Assistant.Agda
withResourceIdris.Interaction.Command
writeInputProof.Assistant.Transport
writeOutputProof.Assistant.Transport
writeTCEnvAgda.Interaction.State
writeTCStateAgda.Interaction.State