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
This happened with Firefox 89 on Linux. It also happened with Chromium 91, also on Linux.
Note that the "declare premises" button fixes this issue: this only happens when createTree is called with a tree with long parts and "declare premises" is not pressed again.
The text was updated successfully, but these errors were encountered:
This came from this exercise I grabbed from the forallx-UBC textbook while writing docs:
This happened with Firefox 89 on Linux. It also happened with Chromium 91, also on Linux.
Note that the "declare premises" button fixes this issue: this only happens when createTree is called with a tree with long parts and "declare premises" is not pressed again.
The text was updated successfully, but these errors were encountered: