Skip to content

When matching functions in rewrite rules: ignore multiplicity

Simon Peyton Jones requested to merge wip/T24725 into master

This is Arnaud's patch from !12648 (closed), plus changes from me

Merge request reports