proof-assistant-bot-0.2.1: Telegram bot for proof assistants
Safe HaskellNone
LanguageHaskell2010

Agda.Interaction.Command.ShowContext

Documentation