Zulip Chat Archive

Stream: Is there code for X?

Topic: Parser combinators


view this post on Zulip Pedro Minicz (Sep 29 2020 at 14:26):

Is there a parser combinator library in Lean? Something like Parsec for Haskell.

view this post on Zulip Mario Carneiro (Sep 29 2020 at 14:28):

data.buffer.parser

view this post on Zulip Pedro Minicz (Sep 29 2020 at 14:30):

Cool! Thanks!

view this post on Zulip Simon Hudon (Sep 29 2020 at 20:14):

It doesn't have much of a collection of lemmas, please free to prove and submit them to mathlib

view this post on Zulip Jesse Michael Han (Oct 06 2020 at 22:28):

@Pedro Minicz i have a toy implementation of parser combinators as state_t string tactic here


Last updated: May 17 2021 at 15:13 UTC