program_logic/auth.v · 61adc9686aadd52809be31ca567d3a5db24c595c · Abhishek Anand / Iris

Forked from Iris / Iris

6571 commits behind the upstream repository.

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 →.

auth.v 4.98 KiB