IdrisDoc
: Test.Unit.Display
Index
Test.Unit.Display
Some simple utilities to make the display fancier.
succLine
:
String
infoLine
:
String
heading
:
String
->
String
fancyLine
:
Nat
->
Char
->
String
errLine
:
String