Metadata-Version: 2.2
Name: tree-sitter-follow
Version: 0.1.0
Summary: Follow is a dependent type language for formal proof.
Author-email: Peng Lingwei <penglingwei@zju.edu.cn>
License: MIT
Project-URL: Homepage, https://github.com/tree-sitter/tree-sitter-follow
Keywords: incremental,parsing,tree-sitter,follow
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Text Processing :: Linguistic
Classifier: Typing :: Typed
Requires-Python: >=3.9
Description-Content-Type: text/markdown
Provides-Extra: core
Requires-Dist: tree-sitter~=0.22; extra == "core"
