Skip to content
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.
Oct 27, 2017
This is to be used on top of stdpp's 4b5d254e.
To find the state of this project's repository at the time of any of these versions, check out