program_logic/pviewshifts.v · 658e90f33fe19b1ff644a4e529f9446f2ac11379 · Ike Mulder / Iris

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago

Change the precedence of ⊢ to be the same as →, and the precedence of ⊣⊢ to · 61adc968

be the same as .

This is a fairly intrusive change, but at least makes notations more
consistent, and often shorter because fewer parentheses are needed. Note
that viewshifts already had the same precedence as →.

61adc968

History

Change the precedence of ⊢ to be the same as →, and the precedence of ⊣⊢ to

Robbert Krebbers authored 8 years ago

be the same as .

This is a fairly intrusive change, but at least makes notations more
consistent, and often shorter because fewer parentheses are needed. Note
that viewshifts already had the same precedence as →.