fgdorais/lean4-parser

Issues

• `endOfInput ` Not Producing Error

  #39 opened 3 months ago by whowatchlist
  2

• Add test runner

  #37 opened 3 months ago by fgdorais
  0

• string function returns an error when the match ends in the last character of the input

  #35 opened 4 months ago by olteanu-ca
  1

• Non-backtracking parsers?

  #23 opened 5 months ago by Mesabloo
  9

• Have folds record the failing error

  #28 opened 5 months ago by fgdorais
  1

• Missing `LawfulMonad` instance

  #27 opened 5 months ago by fgdorais
  0

• try/catch automatically resets the parser state

  #25 opened 5 months ago by fgdorais
  0

• Parser.foldl isn't (always?) tail recursive

  #5 opened a year ago by badly-drawn-wizards
  7