[ fix ] Backticked names cannot be used as prefix operators#3740

spcfox wants to merge 3 commits into

idris-lang:mainidris-lang/Idris2:mainfrom

spcfox:backticker-parserspcfox/Idris2:backticker-parserCopy head branch name to clipboard