Metadata-Version: 2.4
Name: apyds-bnf
Version: 0.0.3a7
Summary: BNF parser and unparsers for DS - conversion between lisp-like and traditional syntax
Author-email: Hao Zhang <hzhangxyz@outlook.com>
License-Expression: AGPL-3.0-or-later
Project-URL: Repository, https://github.com/USTC-KnowledgeComputingLab/ds.git
Requires-Python: <3.15,>=3.10
Description-Content-Type: text/markdown
Requires-Dist: antlr4-python3-runtime~=4.13.2
Provides-Extra: dev
Requires-Dist: ruff~=0.14.6; extra == "dev"
Requires-Dist: pytest~=9.0.1; extra == "dev"
Requires-Dist: pytest-cov~=7.0.0; extra == "dev"

# BNF Support Package for DS

This package provides bidirectional conversion between two syntax formats for the DS deductive system:

- **Ds**: The lisp-like syntax currently used in DS
- **Dsp**: A traditional readable syntax with infix operators
