Skip to content

FromPure instances for big_sepM

Ralf Jung requested to merge ralf/from_pure into master

This is inspired by instances I saw in Perennial.

Probably we could have something similar for big_sepL and Forall. Any others?

Merge request reports