Skip to content

Remove `:>>` subclass instance declarations

Robbert Krebbers requested to merge ci/robbert/no_forward_instances into master

There are not documented in https://coq.inria.fr/refman/addendum/type-classes.html?highlight=class#coq:cmd.class, and they don't have any advantage, so it's better to stop using them.

Merge request reports

Loading