package pratter
An implementation of the Pratt parsing algorithm for first order terms
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-1.0.tbz
sha256=bb6fd9b792a9a486c5096a7ba2e499dba5ae85f98b477fca9cf6802b44266cce
sha512=801778a8e61bf6af6c28fa5665247070b4db40e3d83d29d6e9b7f84d7dcce274d3736163df704bc664bd0ea412680debb6750142bbc54a878704f659da6e285c
doc/CHANGELOG.html
Changelog
This project adheres to Semantic Versioning.
[Unreleased]
[1.0] -- 2021-01-14
Changed
- API: parser uses a data structure passed as argument
- renamed CHANGELOG to CHANGELOG.md
[0.1.1] -- 2021-01-06
Added
- Initial version
On This Page