[ refactor ] move parser into Idris#3652

wizard7377 wants to merge 1 commit intoidris-lang:mainidris-lang/Idris2:mainfrom

wizard7377:parser_fileswizard7377/Idris2:parser_filesCopy head branch name to clipboard