Skip to content

make Z.of_nat not a coercion inside std++

Ralf Jung requested to merge ralf/coercions into master

This takes a first step towards #102 by not declaring the coercion in std++. We will add it back in Iris. This can help gauge the fallout of #102, and it would have caught this problem.

Edited by Ralf Jung

Merge request reports