Skip to content

Add `ProofIrrel ()`

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:irrel-unit into master

This instance might seem odd, but ProofIrrel takes a Type and not a Prop, and stdpp already has instances for products.

Merge request reports