Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
CHANGELOG.md
Find file
Blame
History
Permalink
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.
· 3588f204
Jacques-Henri Jourdan
authored
Oct 27, 2017
This is to be used on top of stdpp's 4b5d254e.
3588f204
To find the state of this project's repository at the time of any of these versions, check out
the tags
.