Skip to content
GitLab

Remove PrettyPrint

Merged 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