Fix #70: add pattern variant of bind notation (!169) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:bind-pattern-notation into master 4 years ago

Jul 01, 2020
- Fix #70 : add pattern variant of bind notation · f4718436
  Paolo G. Giarrusso authored 4 years ago
  
  Use that in place of the old encoding: #70 (comment 52817) Requires dropping support for Coq 8.7.
  Verified
  
  f4718436