add Equiv instance for Empty_set (!89) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/empty into master 5 years ago

All threads resolved!

Seems like we have unit, sums and products, but the empty type was forgotten?

Activity

Robbert Krebbers @robbertkrebbers started a thread on the diff 5 years ago

Resolved 5 years ago by Ralf Jung
Last reply by Ralf Jung 5 years ago

Ralf Jung added 1 commit 5 years ago

added 1 commit

12f82ad7 - add Equiv instance for Empty_set

Compare with previous version

Ralf Jung resolved all threads 5 years ago

resolved all threads

Robbert Krebbers merged 5 years ago

merged

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit 1ae85171

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Thanks!

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

By the way, I think we are missing some other instances too, at least EqDecision and Finite.

Please register or sign in to reply