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
While I agree that formally it should, I believe there is quite some code to ensure it does not; this simplifies output structures at the cost of formal correctness, a design choice made early on to cater to the pedagogical character this library has.
I might be open to accepting a PR that would change 'mode' into 'formal output' mode - but that's quite an undertaking; one would have to define formal output in the first place. Up for it?
Actual:
Expected:
The text was updated successfully, but these errors were encountered: