.gitignore
CONTRIBUTING.md
LICENSE
README.md
cliff.toml
pyproject.toml
uv.lock
.devcontainer/devcontainer.json
.github/workflows/ci.yml
.github/workflows/lint-pr.yml
.github/workflows/release.yml
.vscode/settings.json
resources/2015-english-ttr/computational-actions.txt
resources/2015-english-ttr/lexical-actions.txt
resources/2015-english-ttr/lexical-macros.txt
resources/2015-english-ttr/lexicon.txt
resources/2015-english-ttr-robot/computational-actions.txt
resources/2015-english-ttr-robot/lexical-actions.txt
resources/2015-english-ttr-robot/lexical-macros.txt
resources/2015-english-ttr-robot/lexicon.txt
resources/2015-english-ttr-robot/speech-act-inference-grammar.txt
resources/2026-english-ttr-test/computational-actions.txt
resources/2026-english-ttr-test/lexical-actions.txt
resources/2026-english-ttr-test/lexical-macros.txt
resources/2026-english-ttr-test/lexicon.txt
scripts/sync_web_wheel.py
scripts/git-hooks/commit-msg
src/dylan/__init__.py
src/dylan/dialogue.py
src/dylan/logging_config.py
src/dylan/pyodide_api.py
src/dylan/web_dev.py
src/dylan/action/__init__.py
src/dylan/action/action.py
src/dylan/action/action_sequence.py
src/dylan/action/computational_action.py
src/dylan/action/grammar.py
src/dylan/action/lexical_action.py
src/dylan/action/lexicon.py
src/dylan/action/meta_stub.py
src/dylan/action/speech_act_inference_grammar.py
src/dylan/action/atomic/__init__.py
src/dylan/action/atomic/abort.py
src/dylan/action/atomic/add_axiom.py
src/dylan/action/atomic/beta_reduce.py
src/dylan/action/atomic/conjoin.py
src/dylan/action/atomic/copy_content.py
src/dylan/action/atomic/delete.py
src/dylan/action/atomic/do_effect.py
src/dylan/action/atomic/effect.py
src/dylan/action/atomic/effect_factory.py
src/dylan/action/atomic/empty_effect.py
src/dylan/action/atomic/fresh_put.py
src/dylan/action/atomic/go.py
src/dylan/action/atomic/go_first.py
src/dylan/action/atomic/go_local_event.py
src/dylan/action/atomic/ground_to_root.py
src/dylan/action/atomic/if_then_else.py
src/dylan/action/atomic/infer_speech_act.py
src/dylan/action/atomic/lexical_macro.py
src/dylan/action/atomic/make.py
src/dylan/action/atomic/merge.py
src/dylan/action/atomic/open_floor.py
src/dylan/action/atomic/put.py
src/dylan/action/atomic/saturate_scope_dep.py
src/dylan/action/atomic/ttr_fresh_put.py
src/dylan/action/atomic/unassert.py
src/dylan/action/atomic/unreduce.py
src/dylan/action/meta/__init__.py
src/dylan/action/meta/element.py
src/dylan/action/meta/meta_action_sequence.py
src/dylan/action/meta/meta_formula.py
src/dylan/action/meta/meta_modality.py
src/dylan/context/__init__.py
src/dylan/context/context.py
src/dylan/dag/__init__.py
src/dylan/dag/action_replay_edge.py
src/dylan/dag/backtracking_edge.py
src/dylan/dag/completion_edge.py
src/dylan/dag/dag_edge.py
src/dylan/dag/dag_tuple.py
src/dylan/dag/groundable_edge.py
src/dylan/dag/parser_tuple.py
src/dylan/dag/uttered_word.py
src/dylan/dag/virtual_repairing_edge.py
src/dylan/dag/word_level_context_dag.py
src/dylan/formula/__init__.py
src/dylan/formula/atomic_formula.py
src/dylan/formula/bound_formula_variable.py
src/dylan/formula/disjunctive_type.py
src/dylan/formula/epsilon_term.py
src/dylan/formula/fol_lambda.py
src/dylan/formula/formula.py
src/dylan/formula/formula_metavariable.py
src/dylan/formula/meta_predicate.py
src/dylan/formula/meta_ttr_label.py
src/dylan/formula/meta_ttr_record_type.py
src/dylan/formula/opaque_formula.py
src/dylan/formula/opaque_ttr_spec.py
src/dylan/formula/predicate_argument.py
src/dylan/formula/reset_indices_result.py
src/dylan/formula/ttr_field.py
src/dylan/formula/ttr_formula.py
src/dylan/formula/ttr_infix_expression.py
src/dylan/formula/ttr_label.py
src/dylan/formula/ttr_lambda.py
src/dylan/formula/ttr_path.py
src/dylan/formula/ttr_record_type.py
src/dylan/formula/variable.py
src/dylan/formula/latex/EXAMPLE.txt
src/dylan/formula/latex/__init__.py
src/dylan/formula/latex/avm.sty
src/dylan/formula/latex/build_result.py
src/dylan/formula/latex/compile.py
src/dylan/formula/latex/document.py
src/dylan/formula/latex/dsttr.sty
src/dylan/formula/latex/escape.py
src/dylan/formula/latex/figure_tex.py
src/dylan/formula/latex/pipeline.py
src/dylan/formula/latex/rtrees.sty
src/dylan/formula/latex/semantics_tex.py
src/dylan/formula/latex/tree_tex.py
src/dylan/formula/manim/__init__.py
src/dylan/formula/manim/models.py
src/dylan/formula/manim/render.py
src/dylan/formula/manim/template.py
src/dylan/formula/manim/tree_scene.py
src/dylan/gui/__init__.py
src/dylan/gui/app.py
src/dylan/gui/formatting.py
src/dylan/gui/parse_session.py
src/dylan/gui/parser_panel.py
src/dylan/gui/tree_viz.py
src/dylan/induction/__init__.py
src/dylan/induction/learner.py
src/dylan/induction/tree_filter.py
src/dylan/induction/em_learner/__init__.py
src/dylan/induction/em_learner/candidate_sequence.py
src/dylan/induction/em_learner/common.py
src/dylan/induction/em_learner/corpus.py
src/dylan/induction/em_learner/corpus_converter.py
src/dylan/induction/em_learner/corpus_converter_agenda.py
src/dylan/induction/em_learner/corpus_reader_writer.py
src/dylan/induction/em_learner/corpus_statistics.py
src/dylan/induction/em_learner/corpus_stats.py
src/dylan/induction/em_learner/dag_induction_state.py
src/dylan/induction/em_learner/dag_induction_tuple.py
src/dylan/induction/em_learner/dag_tuple_set_transformer.py
src/dylan/induction/em_learner/evaluation.py
src/dylan/induction/em_learner/feature.py
src/dylan/induction/em_learner/generator_evaluator.py
src/dylan/induction/em_learner/generator_learner.py
src/dylan/induction/em_learner/generator_tester.py
src/dylan/induction/em_learner/hypothesiser.py
src/dylan/induction/em_learner/learner_gui.py
src/dylan/induction/em_learner/lexical_hypothesis.py
src/dylan/induction/em_learner/load_learnt_grammar.py
src/dylan/induction/em_learner/perturbation_sample.py
src/dylan/induction/em_learner/random_corpus_generator.py
src/dylan/induction/em_learner/record_type_corpus.py
src/dylan/induction/em_learner/rmrs_ttr_converter.py
src/dylan/induction/em_learner/seeded_ttr_hypothesiser.py
src/dylan/induction/em_learner/seeded_ttr_learner.py
src/dylan/induction/em_learner/sequence_intersection_old.py
src/dylan/induction/em_learner/test_parser.py
src/dylan/induction/em_learner/tree_feature.py
src/dylan/induction/em_learner/tree_filter.py
src/dylan/induction/em_learner/tree_hypothesis.py
src/dylan/induction/em_learner/tree_word_learner.py
src/dylan/induction/em_learner/ttr2tree_corpus_converter.py
src/dylan/induction/em_learner/ttr_hypothesiser.py
src/dylan/induction/em_learner/ttr_word_learner.py
src/dylan/induction/em_learner/type_lattice.py
src/dylan/induction/em_learner/type_lattice_increment.py
src/dylan/induction/em_learner/word_hypothesis.py
src/dylan/induction/em_learner/word_hypothesis_base.py
src/dylan/induction/em_learner/word_learner.py
src/dylan/induction/em_learner/word_log_prob.py
src/dylan/induction/em_learner/word_log_prob_distribution.py
src/dylan/nlp/__init__.py
src/dylan/nlp/token_source.py
src/dylan/nlp/types.py
src/dylan/parser/__init__.py
src/dylan/parser/dag_parser.py
src/dylan/parser/interactive_context_parser.py
src/dylan/tree/__init__.py
src/dylan/tree/basic_operator.py
src/dylan/tree/modality.py
src/dylan/tree/node.py
src/dylan/tree/node_address.py
src/dylan/tree/tree.py
src/dylan/tree/underspecified_type_map.py
src/dylan/tree/label/__init__.py
src/dylan/tree/label/labels.py
src/dylan/type/__init__.py
src/dylan/type/dstype.py
src/dylan/util/__init__.py
src/dylan/util/text.py
src/dynamicsyntax/__init__.py
src/dynamicsyntax/_manim.py
src/dynamicsyntax/_parse.py
src/dynamicsyntax/_session.py
src/dynamicsyntax/parse_result.py
src/dynamicsyntax/parse_trace.py
src/dynamicsyntax.egg-info/PKG-INFO
src/dynamicsyntax.egg-info/SOURCES.txt
src/dynamicsyntax.egg-info/dependency_links.txt
src/dynamicsyntax.egg-info/entry_points.txt
src/dynamicsyntax.egg-info/requires.txt
src/dynamicsyntax.egg-info/top_level.txt
src/dynamicsyntax/grammars/2015-english-ttr/computational-actions.txt
src/dynamicsyntax/grammars/2015-english-ttr/lexical-actions.txt
src/dynamicsyntax/grammars/2015-english-ttr/lexical-macros.txt
src/dynamicsyntax/grammars/2015-english-ttr/lexicon.txt
tests/test_atomic_effects.py
tests/test_dynamicsyntax_parse.py
tests/test_gui_formatting.py
tests/test_interactive_context_parser_java_parity.py
tests/test_lexicon_template_recovery.py
tests/test_meta_type_binding.py
tests/test_parser_minimal_integration.py
tests/test_pyodide_api.py
tests/test_smoke_imports.py
tests/test_thinning_completion.py
tests/test_tree_node_address.py
tests/test_tree_viz.py
tests/test_ttr_path.py
tests/test_util_text.py
tests/fixtures/parser_minimal/computational-actions.txt
tests/fixtures/parser_minimal/lexical-actions.txt
tests/fixtures/parser_minimal/lexicon.txt
tests/formula/test_meta_ttr_record_type.py
tests/formula/test_ttr_field.py
tests/formula/test_ttr_infix_expression.py
tests/formula/test_ttr_record_type.py
tests/formula/test_ttr_record_type_java_parity.py
tests/induction/test_em_learner.py
web/app.js
web/index.html
web/styles.css
web/public/grammars/2015-english-ttr/computational-actions.txt
web/public/grammars/2015-english-ttr/lexical-actions.txt
web/public/grammars/2015-english-ttr/lexical-macros.txt
web/public/grammars/2015-english-ttr/lexicon.txt