Jan Rydzewski

Thank you for pointers, @Gabriel439. So first I'll be trying to write `semantics.md` -> coq converter.

Wait, coq looks great, but code generation in python is pain. I didn't tried it yet, but patching and building whole coq from source deters me. Searching for "logic programming...

another find: coq to llvm https://github.com/coq-ext-lib/coq-compile (looks a bit stale though) @Profpatsch I belive that right optimizer can produce fast code. So more important than writing one fast implementation is...

You may be right. I know coq for 3 hours and don't know how fast extracted code is nor how much work is going into developing coq.

@henriklindgren The PR you are referring doesn't fix import in README.

GLR must construct trees in parallel when the input is a non-seekable stream. Parglare isn't based on this assumption - it is not a stream parser and it has random...

PEG seems like a way to go for my use case, indeed.

Another advantage of grammar as a python construct is possibility to inline actions into the grammar.

Maintenance overhead ------------------------------- I think maintenance overhead can be reduced by use of `from_struct` (or equivalent) method in `from_string` code. `from_string` would first parse grammar string into python representation and...

I wrote [crude function](https://github.com/SupraSummus/python-dhall/blob/b00656197ad7b1df1e00da4f0697575dc735629e/dhall/parglare_adapter.py), that converts grammar description (aka. grammar struct) into `parglare.Grammar` object. Grammar description accepted by this function is quite language agnostic. For example it can be serialized...