Add rewrite rule: List.any with equality lambda to List.elem#101
Open
felipeperet wants to merge 3 commits into
Open
Add rewrite rule: List.any with equality lambda to List.elem#101felipeperet wants to merge 3 commits into
felipeperet wants to merge 3 commits into
