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 don't understand the difference between a "regular" identifier (foo) and an identifier prefixed by the # sign (#foo). Could this be explained in the language description document?
The text was updated successfully, but these errors were encountered:
I don't understand the difference between a "regular" identifier (
foo
) and an identifier prefixed by the#
sign (#foo
). Could this be explained in the language description document?The text was updated successfully, but these errors were encountered: