IdrisDoc: Test.Unit.Display

Test.Unit.Display

Some simple utilities to make the display fancier.

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