[WIP] Store Syntax.node children in array - #12

Closed

Kha wants to merge 2 commits into

Commits on Apr 1, 2019

refactor(library/init/lean/): store Syntax.node children in array
Kha
committed
fc20c1f
feat(library/init/lean/parser/syntax): Syntax.hasMissing
Kha
committed
89a607d