Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Fix
#70
: add pattern variant of bind notation
· f4718436
Paolo G. Giarrusso
authored
Jun 25, 2020
Use that in place of the old encoding:
#70 (comment 52817)
Requires dropping support for Coq 8.7.
f4718436