gallais/agdarsec

Issues

• Release supporting agda-stdlib 2?

  #33 opened 10 months ago by ncfavier
  0

• CSV example or module?

  #29 opened 3 years ago by cspollard
  1

• Port the JSON parser from tparsec

  #20 opened 3 years ago by gallais
  1

• Move to github actions

  #24 opened 3 years ago by gallais
  0

• Release compatible with current version of standard library

  #21 opened 4 years ago by turion
  2

• Lift a parser working on a subset of the tokens

  #19 opened 4 years ago by gallais
  0

• Look at Megaparsec / Attoparsec for combinator ideas

  #12 opened 6 years ago by gallais
  0

• Improving error messages

  #8 opened 6 years ago by langston-barrett
  5

• Move examples out of the library hierarchy

  #10 opened 6 years ago by gallais
  0

• Add combinators to run monadic operations within a parser

  #9 opened 6 years ago by gallais
  1

• Relationship between Data.List.Sized and Agda's sized types?

  #7 opened 7 years ago by langston-barrett
  2

• Ambiguous notation parsing

  #4 opened 7 years ago by langston-barrett
  2