Add rewrite rule for a pecial case of equality between if expressions#103
Open
mpetruska wants to merge 1 commit into
Open
Add rewrite rule for a pecial case of equality between if expressions#103mpetruska wants to merge 1 commit into
mpetruska wants to merge 1 commit into
