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 Shinan 0f2f3d71b5
Merge pull request #790 from unbrice/types
3 years ago
..
parsers Small adjustments to PR 4 years ago
__init__.pyi Prevent terminals from being filtered out when used in always_accept 4 years ago
exceptions.pyi Adds stubs; cleanup 3 years ago
indenter.pyi Fixes to mypy stubs (Issue #561) 4 years ago
lark.pyi Merge pull request #735 from fabioz/patch-2 3 years ago
lexer.pyi type stubs: A consistent type for `Token.value` 3 years ago
reconstruct.pyi Added a bit of explanation for `term_subs` 4 years ago
tree.pyi Fixes to mypy stubs (Issue #561) 4 years ago
visitors.pyi type stubs: fix typo 3 years ago