theories/gmap.v · d95360254e71a5d428bfeb30b622b1b2ea8735c4 · Adam / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

Source project has a limited visibility.

4 years ago
8517b23b
Add docs for computation on [gmap], since they're a FAQ · 8517b23b
Paolo G. Giarrusso authored 4 years ago
```
Also, document why [simpl never] is not enough, with a link to an alternative
design.
```
Verified

8517b23b

History
Add docs for computation on [gmap], since they're a FAQ
Paolo G. Giarrusso authored 4 years ago
```
Also, document why [simpl never] is not enough, with a link to an alternative
design.
```