This project aims to deliver a table-driven type-sensitive full "operator precedence" parser.
The project is required by principia.
Milestone one is the single-type case, sufficient for universal algebras and deductive systems (in the sense of Blok and Pigozzi, and including propositional logics).
Milestone two is the parser for the multi-typed operator precedence grammar, required for predicate logics.
Follow gramma's grammar
You Might Also Like
Our Free Plans just got better! | Auth0 by Okta
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of gramma's grammar!