This repo contains code to mirror other repos. It also contains the code that is getting mirrored.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Erez Sh 5b30ba4841 Cleanup, and a few PEP8 changes 3 jaren geleden
..
parsers Small adjustments to PR 4 jaren geleden
__init__.pyi Prevent terminals from being filtered out when used in always_accept 4 jaren geleden
exceptions.pyi Added type information for UnexpectedEOF (Issue #686) 4 jaren geleden
indenter.pyi Fixes to mypy stubs (Issue #561) 4 jaren geleden
lark.pyi Fix lark.pyi stub syntax 3 jaren geleden
lexer.pyi Cleanup, and a few PEP8 changes 3 jaren geleden
reconstruct.pyi Added a bit of explanation for `term_subs` 4 jaren geleden
tree.pyi Fixes to mypy stubs (Issue #561) 4 jaren geleden
visitors.pyi Fixes to mypy stubs (Issue #561) 4 jaren geleden