Agda.Interaction.Command.Reload
reload :: Maybe AbsolutePath -> TCM ByteString Source #
checkFile :: AbsolutePath -> TCM CheckResult Source #