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):
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: May 17 2021 at 15:13 UTC