program_logic/resources.v · 1662c1dc8e21cf0c962fdcfc22b00d306b0e4e8c · Simcha van Collem / Iris

"theories/git-rts@gitlab.mpi-sws.org:SkySkimmer/iris.git" did not exist on "0b949f985202a7fdeba5324f4ac0a1e17fa441a9"

Blame

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago

61adc968

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

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

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