Skip to content

Remove PrettyPrint

Bastian Kauschke requested to merge remove-pretty into master

PrettyPrint has been made obsolete by Printable.

This MR removes it and updates SortsSpec to use SomeFunctor.

Edited by Bastian Kauschke

Merge request reports