-
assigned issue to
Should turn all our tostring operations into << operators taking a stream!
Issue #313
resolved
It is not feasible to first create a full string representing a large ground theory for example and only then return it.
Comments (2)
-
reporter -
reporter - changed status to resolved
- Log in to comment