Remove PrettyPrint
PrettyPrint
has been made obsolete by Printable
.
This MR removes it and updates SortsSpec
to use SomeFunctor
.
Edited by Bastian Kauschke
► Server maintenance is scheduled on 14.10.24 from 07:00 to 09:00
PrettyPrint
has been made obsolete by Printable
.
This MR removes it and updates SortsSpec
to use SomeFunctor
.