Syntactic completion#1257

Open

let-def wants to merge 10 commits intomainfrom

syntactic-completion

Commits on Jan 31, 2021

Commits on Feb 3, 2021

Commits on Feb 5, 2021

Mreader_lexer.for_completion: snapshot parser before inserted identifier
let-def
committed

Commits on Feb 8, 2021

Forgot the mli :)
let-def
committed