Parsec Combinators

Stream: new members

[Greg B]

Hi. I am new here. I wanted to add some more combinators to Lean.Data.Parsec (Eg, sepBy and sepBy1) and the contributions readme suggested I should ask here first if that would be a good idea. I was going to borrow implementations and comments from lean/library/data/buffer/parser.lean in lean3. Would that be a good pull request to do?

[Yaël Dillies]

You might want to ask in #lean4

[Greg B]

Ok. Thanks. I will ask there.