Should turn all our tostring operations into << operators taking a stream!

Issue #313 resolved
Broes De Cat created an issue

It is not feasible to first create a full string representing a large ground theory for example and only then return it.

Comments (2)

  1. Log in to comment