Use `SProp` to obtain better definitional equality for `pmap`, `gmap`, `gset`, `Qp`, and `coPset`
Merged
Use `SProp` to obtain better definitional equality for `pmap`, `gmap`, `gset`, `Qp`, and `coPset`
robbert/sprop
into
master
All threads resolved!
All threads resolved!
Compare changes
- Ralf Jung authored
+ 20
− 0
@@ -70,3 +70,23 @@ Failed to progress.