Dave Halter 70ec8eecd1 Fix some last mypy issues

2020-07-25 18:16:01 +02:00

..

__init__.py

Merge the PgenParser and our own parser

2018-06-27 23:45:04 +02:00

generator.py

Fix some last mypy issues

2020-07-25 18:16:01 +02:00

grammar_parser.py

Removed stubs from generator and grammar_parser and put the annotations into the corresponding files

2020-07-25 18:09:12 +02:00