You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I've tried looking at a couple of reductions, e.g. ((MULT ONE) ONE) in my browser, and I cannot see the full trees, either with or without desugaring. I've tried on Chrome Version 101.0.4951.64 (Official Build) (x86_64) and Safari Version 15.3 (15612.4.9.1.7, 15612). Here are a couple of representative examples in both browsers. Do you have any ideas what I'm doing wrong?
The text was updated successfully, but these errors were encountered:
I don't think you're doing anything wrong! We just don't have a very good system for displaying large trees. The CSS/etc. work OK for very small trees where everything happens to fit in the small space allotted to display them, but things break pretty bad (as you've shown here) if the image overflows that small area. A big reason for the weird overlap thing is that we are not giving enough space to draw the two trees (before and after a given reduction step) side by side.
It would be great to somehow solve this, although I don't have any specific ideas for what the better alternative would be… maybe putting the image in a horizontally scrolling box would help?
I've tried looking at a couple of reductions, e.g.
((MULT ONE) ONE)
in my browser, and I cannot see the full trees, either with or without desugaring. I've tried on Chrome Version 101.0.4951.64 (Official Build) (x86_64) and Safari Version 15.3 (15612.4.9.1.7, 15612). Here are a couple of representative examples in both browsers. Do you have any ideas what I'm doing wrong?The text was updated successfully, but these errors were encountered: