+ processResult (SyntaxResult (br, re))
+ = "Clean syntax: " +++ re.syntax_title +++ "\n"
+ +++ concat (intersperse "; " re.syntax_code)
+ processResult (ABCInstructionResult (br, re))
+ = "ABC instruction: " +++ re.abc_instruction
+ processResult (ProblemResult pr)
+ = "Common problem: " +++ pr.problem_title
+ +++ "; see https://gitlab.science.ru.nl/cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"