Skip to content

Fix #70: add pattern variant of bind notation

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

Use that in place of the old encoding: #70 (comment 52817)

Requires dropping support for Coq 8.7 (in a separate MR).

Edited by Paolo G. Giarrusso

Merge request reports