Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
Use `SProp` to obtain better definitional equality for  `pmap`, `gmap`, `gset`, `Qp`, and `coPset`

Closes #85

See merge request iris/stdpp!309
8dbccce2
History
Name Last commit Last update