gallais/agdarsec issues and pull requests

#33 - Release supporting agda-stdlib 2?

Issue - State: open - Opened by ncfavier 11 months ago

#32 - Support for Agda 2.6.2 & stdlib 2.0

Pull Request - State: closed - Opened by Lysxia almost 2 years ago - 1 comment
Labels: update

#31 - Support for Agda 2.6.2 & stdlib 2.0 (c12568c64)

Pull Request - State: closed - Opened by cmcmA20 over 2 years ago - 2 comments

#30 - Adding CSV example

Pull Request - State: open - Opened by cspollard over 2 years ago

#29 - CSV example or module?

Issue - State: open - Opened by cspollard over 2 years ago - 1 comment
Labels: enhancement

#28 - [ new ] dependend bind combinators

Pull Request - State: closed - Opened by gallais almost 3 years ago - 5 comments
Labels: enhancement, breaking

#27 - [ new ] module specialised to 0ℓ

Pull Request - State: closed - Opened by gallais over 3 years ago
Labels: enhancement

#26 - [ update ] machinery to use the `uncons` primitive

Pull Request - State: closed - Opened by gallais over 3 years ago - 1 comment
Labels: performance

#25 - [ fix #24 ] move to github actions, 2.6.2 & 1.7

Pull Request - State: closed - Opened by gallais over 3 years ago
Labels: update, continuous-integration

#24 - Move to github actions

Issue - State: closed - Opened by gallais almost 4 years ago
Labels: help wanted, continuous-integration

#23 - [ new ] runParserIO for frontend

Pull Request - State: closed - Opened by gallais almost 4 years ago - 1 comment
Labels: enhancement

#22 - [ refactor ] providing a nicer frontend

Pull Request - State: closed - Opened by gallais almost 4 years ago - 1 comment

#21 - Release compatible with current version of standard library

Issue - State: closed - Opened by turion almost 4 years ago - 2 comments

#20 - Port the JSON parser from tparsec

Issue - State: closed - Opened by gallais almost 4 years ago - 1 comment
Labels: enhancement, help wanted

#19 - Lift a parser working on a subset of the tokens

Issue - State: open - Opened by gallais almost 4 years ago
Labels: enhancement

#18 - [ refactor ] level polymorphism

Pull Request - State: closed - Opened by gallais about 4 years ago - 2 comments
Labels: enhancement

#17 - Fix ambiguous name error with stdlib v1.4

Pull Request - State: closed - Opened by wenkokke about 4 years ago
Labels: enhancement, update

#16 - Support for Agda 2.6.1 & stdlib 1.3

Pull Request - State: closed - Opened by Saityi over 4 years ago - 1 comment
Labels: update

#15 - Update for Agda stdlib 1.2

Pull Request - State: closed - Opened by Saityi almost 5 years ago - 2 comments
Labels: update

#14 - Support for Agda 2.6.0 and stdlib 1.0

Pull Request - State: closed - Opened by gallais over 5 years ago
Labels: update

#13 - [ update ] to 2.6.0

Pull Request - State: closed - Opened by gallais over 5 years ago - 1 comment
Labels: update

#12 - Look at Megaparsec / Attoparsec for combinator ideas

Issue - State: open - Opened by gallais about 6 years ago
Labels: enhancement, help wanted

#11 - [ fix #8 ] Instrumented parsers

Pull Request - State: closed - Opened by gallais over 6 years ago

#10 - Move examples out of the library hierarchy

Issue - State: closed - Opened by gallais over 6 years ago

#9 - Add combinators to run monadic operations within a parser

Issue - State: closed - Opened by gallais over 6 years ago - 1 comment
Labels: enhancement

#8 - Improving error messages

Issue - State: closed - Opened by langston-barrett over 6 years ago - 5 comments
Labels: enhancement, question

#7 - Relationship between Data.List.Sized and Agda's sized types?

Issue - State: closed - Opened by langston-barrett almost 7 years ago - 2 comments

#6 - accept unicode minus sign for integers

Pull Request - State: closed - Opened by langston-barrett almost 7 years ago - 1 comment

#5 - make case-sensitive alphabetical parsers

Pull Request - State: closed - Opened by langston-barrett almost 7 years ago - 2 comments

#4 - Ambiguous notation parsing