proof-assistant-bot-0.2.0: Telegram bot for proof assistants
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Agda.Interaction.Command.ShowScope
Documentation
showScope
:: TCM
ByteString
Source
#