[Iris-Club] Two Monoid Questions

Robbert Krebbers mailinglists at robbertkrebbers.nl
Fri Aug 16 14:22:52 CEST 2019


On 8/16/19 2:21 PM, Ralf Jung wrote:
> and I think we could get a decent generalization of auth
> without a lot of SProp infrastructure.

In that case I presume you would keep the old auth, and make the new 
version just for the discrete case?



More information about the Iris-Club mailing list