Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Add colon (:) to party literal #1467
In this PR we add colon to party literal. We also do some minor cleanup in the specification.
Pull Request Checklist
NOTE: CI is not automatically run on non-members pull-requests for security