IdrisDoc: Test.Unit.Display

Test.Unit.Display

Some simple utilities to make the display fancier.

errLine : String
fancyLine : Nat -> Char -> String
heading : String -> String
infoLine : String
succLine : String