theories/base.v · 2e9c3f77a8ab5e0b9b974efdcb18c7662842b196 · Arthur Azevedo de Amorim / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

2584 commits behind the upstream repository.

9 years ago
2e9c3f77
Use {[_ := _]} for singleton map so we can use ↦ for maps to. · 2e9c3f77
Robbert Krebbers authored 9 years ago
```
The singleton maps notation is now also more consistent with the
insert <[_ := _]> _ notation for maps.
```
2e9c3f77

History
Use {[_ := _]} for singleton map so we can use ↦ for maps to.
Robbert Krebbers authored 9 years ago
```
The singleton maps notation is now also more consistent with the
insert <[_ := _]> _ notation for maps.
```

base.v 40.09 KiB