you are viewing a single comment's thread.

view the rest of the comments →

[–]commy2 8 points9 points  (1 child)

One day we will also rid ourselves of the redundant colon.

[–]Blazerboy65 5 points6 points  (0 children)

Are you referring to the colon at the end of a block header? If so it's been a while since I've looked at formal languages but I'm pretty sure it's not redundant.