A gitter discussion suggested making stdlib2 compatible with [stdpp](https://gitlab.mpi-sws.org/iris/stdpp). Is that a realistic goal? @robbertkrebbers @RalfJung
A gitter discussion suggested making stdlib2 compatible with stdpp. Is that a realistic goal?
@robbertkrebbers @RalfJung