Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.

As discussed in #3 (closed).

I completely removed support for the old notation. Should I provide a deprecated support for maintaining compatibility ?

I completely removed support for the old notation. Should I provide a deprecated support for maintaining compatibility ?

No opinion, but if you do, put it in a file called "deprecated" or so.

LGTM.

Looks fine to me too. @jjourdan can you merge and update the dependencies of std++ after I'm done with !10 (merged).

mentioned in commit 2e5cc41f

merged

mentioned in issue #3 (closed)

I'm doing this.

What should I update, apart from iris and LambdaRust?

iGPS maybe

And iris-examples

Done for iris-examples. ra-gps uses vanilla iris 3.0.

ra-gps uses vanilla iris 3.0.

...? No, it uses dev.2017-10-27.0 and is tested against Iris master every night.

Ah... sorry. I did not noticed that my git pull failed.

I did the iGPS port as part of https://gitlab.mpi-sws.org/FP/sra-gps/merge_requests/12

Yes, I've seen this. Thanks.