Group similar fixities together
Identical fixities declared for the same line should now render using syntax like: infix 4 <, >=, >, <=
Loading
Please register or sign in to comment
Identical fixities declared for the same line should now render using syntax like: infix 4 <, >=, >, <=