theories/fin_maps.v · 97c9080cac2027d6d93c91ed019b75648a4073ba · Arthur Azevedo de Amorim / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

480 commits behind the upstream repository.

7 years ago
97c9080c
Add monadic ;; and change level of do-notation to 100. · 97c9080c
Robbert Krebbers authored 7 years ago
```
This way, we will be compabile with Iris's heap_lang, which puts ;;
at level 100.
```
97c9080c

History
Add monadic ;; and change level of do-notation to 100.
Robbert Krebbers authored 7 years ago
```
This way, we will be compabile with Iris's heap_lang, which puts ;;
at level 100.
```