Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
list.v
Find file
Blame
History
Permalink
Add monadic ;; and change level of do-notation to 100.
· 97c9080c
Robbert Krebbers
authored
Oct 26, 2017
This way, we will be compabile with Iris's heap_lang, which puts ;; at level 100.
97c9080c