It could be nice if we use colors for output. But only for intercative use, obviously. Ex.: goal fails will be more prominent if the output will be in red.
It could be nice if we use colors for output. But only for intercative use, obviously.
Ex.: goal fails will be more prominent if the output will be in red.