Zulip Chat Archive

Stream: new members

Topic: Parsec Combinators

Greg B (Mar 09 2023 at 16:38):

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 (Mar 09 2023 at 18:55):

You might want to ask in #lean4

Greg B (Mar 09 2023 at 18:57):

Ok. Thanks. I will ask there.

Last updated: Dec 20 2023 at 11:08 UTC