Releases: gallais/agdarsec
Releases · gallais/agdarsec
Providing an entrypoint free of level-polymorphism
Even thought the level polymorphism may be useful in some cases, we provide an entrypoint
stripped of all level polymorphism which should make writing simple parsers a lot easier.
Tested with:
- Agda version 2.6.2
- Agda's standard library version 1.7
Providing a convenient `Text.Parser` entrypoint
Text.Parser
re-exports specialised combinators and convenient running
functions for the case where the input is a vector of characters. This
should make using the library a lot easier.
Tested with:
- Agda version 2.6.1.1
- Agda's standard library version 1.4
Now with level polymorphism!
Tested with:
- Agda version 2.6.1
- Agda's standard library Version 1.4
Now with an experimental lexer!
Tested with:
- Agda 2.5.4.2
- Standard library 0.17
Update to Agda v2.5.4.1 and stdlib v0.17
Same as v0.2 except that it now supports:
Agda version 2.5.4
Agda's standard library version 0.16
Update to Agda v2.5.4 and stdlib v0.16
Same as v0.2 except that it now supports:
Agda version 2.5.4
Agda's standard library version 0.16
agdarsec is now instrumented!
This release:
- introduces a notion of parser parameters
- provides monad transformers for end users
- provides ways to instrument a parser (cf. blog post)
Tested with:
- Agda version 2.5.3
- Agda's standard library version 0.14
Update to Agda v2.5.3 and stdlib v0.14
Same as v0.1 except that it now supports:
- Agda version 2.5.3
- Agda's standard library version 0.14
First release
This version of the library has been tested with:
- Agda version 2.5.2
- Agda's standard library version 0.13.