refactor: use parser restarting API instead of whitespace padding - #1077

refactor: use parser restarting API instead of whitespace padding#1077

ejgallego wants to merge 8 commits into

leanprover:bump/v4.37.0leanprover/verso:bump/v4.37.0from

ejgallego:parse_startejgallego/verso:parse_startCopy head branch name to clipboard