Normalize all n-ary operators in the RARE rewrite engine#125

caotic123 wants to merge 2 commits into

ufmg-smite:mainufmg-smite/carcara:mainfrom

caotic123:feat/rare-list-nary-normalizationcaotic123/carcara:feat/rare-list-nary-normalizationCopy head branch name to clipboard