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

Agda.Interaction.Command.Reload

Documentation

reload :: Maybe AbsolutePath -> TCM ByteString Source #

checkFile :: AbsolutePath -> TCM CheckResult Source #