Skip to content

Make trivial instances explicit

Maxime Dénès requested to merge maximedenes/LambdaRust-coq:instance-nobody-open-proof into master

This is in preparation for coq/coq#9274.

Again, should be backward compatible but I haven't tested.

Merge request reports