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
Syntax declarations are shown with their auto generated name as well as their parser as value right now. We could instead try pretty print the parser declaration and denote them explicitly as syntax with the proper syntax instead of a weird def that's just dangling around.
The text was updated successfully, but these errors were encountered:
Syntax declarations are shown with their auto generated name as well as their parser as value right now. We could instead try pretty print the parser declaration and denote them explicitly as
syntax
with the proper syntax instead of a weirddef
that's just dangling around.The text was updated successfully, but these errors were encountered: