Closed Boarders closed 5 years ago
Use text-short to represent the internal leaf labels. We should convert from strings to text during unification. This should make serialising to disk marginally faster.
text-short
This is now complete after merging the text-rendering branch.
Use
text-short
to represent the internal leaf labels. We should convert from strings to text during unification. This should make serialising to disk marginally faster.