Issues

• Can you update the project?

  argumentcomputer/Megaparsec.lean#59 · Filter by author Filipp-Druan opened on Mar 31, 2026

• Bump Straume version

  argumentcomputer/Megaparsec.lean#55 · Filter by author javra opened on May 16, 2023
  3

• Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performance

  argumentcomputer/Megaparsec.lean#54 · Filter by author cognivore opened on Apr 4, 2023

• Documentation: Update README to match the current implementation

  argumentcomputer/Megaparsec.lean#40 · Filter by author cognivore opened on Nov 11, 2022

• Naming: Rename Common lean to something else. (What ??)

  argumentcomputer/Megaparsec.lean#29 · Filter by author cognivore opened on Sep 12, 2022

• Improvement: Add a debug combinator

  good first issue
  argumentcomputer/Megaparsec.lean#26 · Filter by author cognivore opened on Sep 7, 2022
  1

• Improvement: lift universes in String and Char modules or make \a \b universes independent from \w universe

  argumentcomputer/Megaparsec.lean#25 · Filter by author cognivore opened on Sep 6, 2022

• Enhancement: Infinite streams

  difficultpostponed
  argumentcomputer/Megaparsec.lean#20 · Filter by author cognivore opened on Jun 24, 2022
  1

• Usability: Errors in bundles should be sorted by offset

  argumentcomputer/Megaparsec.lean#18 · Filter by author cognivore opened on Jun 22, 2022
  2