README
setup.cfg
setup.py
dao/__init__.py
dao/base.py
dao/builtin.py
dao/env.py
dao/pysyntax.py
dao/rule.py
dao/solve.py
dao/special.py
dao/term.py
dao/teval.py
dao/util.py
dao/builtins/__init__.py
dao/builtins/arith.py
dao/builtins/container.py
dao/builtins/control.py
dao/builtins/globalenv.py
dao/builtins/io.py
dao/builtins/matcher.py
dao/builtins/parser.py
dao/builtins/quasiquote.py
dao/builtins/rule.py
dao/builtins/term.py
dao/builtins/terminal.py
dao/builtins/tests/__init__.py
dao/builtins/tests/testbuiltin.py
dao/builtins/tests/testparser.py
dao/dinpy/__init__.py
dao/dinpy/_util.py
dao/dinpy/arith.py
dao/dinpy/container.py
dao/dinpy/control.py
dao/dinpy/dexpr.py
dao/dinpy/dinpy.py
dao/dinpy/io.py
dao/dinpy/parser.py
dao/dinpy/rule.py
dao/dinpy/term.py
dao/dinpy/vars/__init__.py
dao/dinpy/vars/dummy.py
dao/dinpy/vars/lower.py
dao/dinpy/vars/names.py
dao/dinpy/vars/upper.py
dao/t/__init__.py
dao/t/grammar.py
dao/t/builtins/__init__.py
dao/t/builtins/arith.py
dao/t/builtins/container.py
dao/t/builtins/control.py
dao/t/builtins/globalenv.py
dao/t/builtins/io.py
dao/t/builtins/parser.py
dao/t/builtins/rule.py
dao/t/builtins/term.py
daot.egg-info/PKG-INFO
daot.egg-info/SOURCES.txt
daot.egg-info/dependency_links.txt
daot.egg-info/top_level.txt
samples/__init__.py
samples/hello.py
samples/sexpression.py