Revert "Merge branch 'byte-countable' into 'master'" (!160) · Merge requests · Iris / stdpp

You need to sign in or sign up before continuing.

This reverts merge request !155 (merged) because it's incompatible with Coq ≤8.9.

Edited May 12, 2020 by Robbert Krebbers

Revert "Merge branch 'byte-countable' into 'master'"