Zulip Chat Archive
Stream: Is there code for X?
Topic: Parser combinators
Pedro Minicz (Sep 29 2020 at 14:26):
Is there a parser combinator library in Lean? Something like Parsec for Haskell.
Mario Carneiro (Sep 29 2020 at 14:28):
Pedro Minicz (Sep 29 2020 at 14:30):
Cool! Thanks!
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
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: Dec 20 2023 at 11:08 UTC