Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Editorial: Convert @@ notation to %% notation for well-known Symbols
- this avoids a conceptual conflict with decorators, when they land
- Loading branch information