heap_lang/notation.v · 199f03869d7d1f6b5cfc7f53bdef1b360f447bfd · Rice Wine / Iris

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago

Revert "Turn short-circuit && and || into definitions." · 199f0386

This reverts commit f3222ba2 because
it broke the machinery for determining whether a term is closed.

Example, by Morten:

  Definition dummy : val :=
    λ: <>, #true || #false.

199f0386

History

Revert "Turn short-circuit && and || into definitions."

Robbert Krebbers authored 8 years ago

This reverts commit f3222ba2 because
it broke the machinery for determining whether a term is closed.

Example, by Morten:

  Definition dummy : val :=
    λ: <>, #true || #false.