Skip to content

make Qc_of_Z not a Coercion any more

Ralf Jung requested to merge ralf/Qc_of_Z into master

This implements #102 for Qc_of_Z -- Qc is not a widely used type (any more) so I think the fallout from this should be quite limited.

Merge request reports