For now, chom relies on a hand-written parser to parse the input grammar. It would be a great achievement to be able to actually use chom to formalize the input format and generate a parser for it. This may also be required to read the doc comments and close #6.
For now,
chom
relies on a hand-written parser to parse the input grammar. It would be a great achievement to be able to actually usechom
to formalize the input format and generate a parser for it. This may also be required to read the doc comments and close #6.