elab: desugar &arr[i] to arr + i for array-shaped pointers#119

gebner merged 1 commit into

mainFStarLang/pal:mainfrom

kimaya/desugarFStarLang/pal:kimaya/desugarCopy head branch name to clipboard