├── .envrc ├── .gitignore ├── .vscode └── settings.json ├── LICENSE ├── README.md ├── bin └── forester │ ├── ForestScanner.ml │ ├── ForestScanner.mli │ ├── Process.ml │ ├── Process.mli │ ├── dune │ └── main.ml ├── dune-project ├── flake.lock ├── flake.nix ├── forester.opam ├── forester.opam.locked ├── lib ├── core │ ├── Base.ml │ ├── BaseN.ml │ ├── BaseN.mli │ ├── Code.ml │ ├── Env.ml │ ├── Eval.ml │ ├── Eval.mli │ ├── Expand.ml │ ├── Expand.mli │ ├── Forester_core.ml │ ├── Prim.ml │ ├── Query.ml │ ├── Range.ml │ ├── Reporter.ml │ ├── Resolver.ml │ ├── Sem.ml │ ├── Symbol.ml │ ├── Symbol.mli │ ├── Syn.ml │ ├── TeX_cs.ml │ ├── TeX_cs.mli │ ├── Trie.ml │ ├── Trie.mli │ └── dune ├── frontend │ ├── Analysis.ml │ ├── Analysis.mli │ ├── Build_latex.ml │ ├── Build_latex.mli │ ├── Config.ml │ ├── Config.mli │ ├── Forest.ml │ ├── Forest.mli │ ├── Grammar.mly │ ├── LaTeX_queue.ml │ ├── LaTeX_queue.mli │ ├── LaTeX_template.ml │ ├── LaTeX_template.mli │ ├── Lexer.mll │ ├── Parse.ml │ ├── Parse.mli │ └── dune ├── prelude │ ├── Compare.ml │ ├── Date.ml │ ├── Date.mli │ ├── Eio_util.ml │ ├── Printer_kit.ml │ ├── String_util.ml │ ├── String_util.mli │ └── dune └── render │ ├── Dream_forester.ml │ ├── Dream_forester.mli │ ├── Dream_html_lite.ml │ ├── Dream_html_lite.mli │ ├── Render_TeX_like.ml │ ├── Render_TeX_like.mli │ ├── Render_dream.ml │ ├── Render_effect.ml │ ├── Render_effect.mli │ ├── Render_json.ml │ ├── Render_json.mli │ ├── Render_text.ml │ ├── Render_text.mli │ ├── Render_util.ml │ └── dune └── test ├── dune ├── parse.expected └── parse.ml /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/README.md -------------------------------------------------------------------------------- /bin/forester/ForestScanner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/bin/forester/ForestScanner.ml -------------------------------------------------------------------------------- /bin/forester/ForestScanner.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/bin/forester/ForestScanner.mli -------------------------------------------------------------------------------- /bin/forester/Process.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/bin/forester/Process.ml -------------------------------------------------------------------------------- /bin/forester/Process.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/bin/forester/Process.mli -------------------------------------------------------------------------------- /bin/forester/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/bin/forester/dune -------------------------------------------------------------------------------- /bin/forester/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/bin/forester/main.ml -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/dune-project -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/flake.nix -------------------------------------------------------------------------------- /forester.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/forester.opam -------------------------------------------------------------------------------- /forester.opam.locked: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/forester.opam.locked -------------------------------------------------------------------------------- /lib/core/Base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Base.ml -------------------------------------------------------------------------------- /lib/core/BaseN.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/BaseN.ml -------------------------------------------------------------------------------- /lib/core/BaseN.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/BaseN.mli -------------------------------------------------------------------------------- /lib/core/Code.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Code.ml -------------------------------------------------------------------------------- /lib/core/Env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Env.ml -------------------------------------------------------------------------------- /lib/core/Eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Eval.ml -------------------------------------------------------------------------------- /lib/core/Eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Eval.mli -------------------------------------------------------------------------------- /lib/core/Expand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Expand.ml -------------------------------------------------------------------------------- /lib/core/Expand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Expand.mli -------------------------------------------------------------------------------- /lib/core/Forester_core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Forester_core.ml -------------------------------------------------------------------------------- /lib/core/Prim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Prim.ml -------------------------------------------------------------------------------- /lib/core/Query.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Query.ml -------------------------------------------------------------------------------- /lib/core/Range.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Range.ml -------------------------------------------------------------------------------- /lib/core/Reporter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Reporter.ml -------------------------------------------------------------------------------- /lib/core/Resolver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Resolver.ml -------------------------------------------------------------------------------- /lib/core/Sem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Sem.ml -------------------------------------------------------------------------------- /lib/core/Symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Symbol.ml -------------------------------------------------------------------------------- /lib/core/Symbol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Symbol.mli -------------------------------------------------------------------------------- /lib/core/Syn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Syn.ml -------------------------------------------------------------------------------- /lib/core/TeX_cs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/TeX_cs.ml -------------------------------------------------------------------------------- /lib/core/TeX_cs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/TeX_cs.mli -------------------------------------------------------------------------------- /lib/core/Trie.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Trie.ml -------------------------------------------------------------------------------- /lib/core/Trie.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/Trie.mli -------------------------------------------------------------------------------- /lib/core/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/core/dune -------------------------------------------------------------------------------- /lib/frontend/Analysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Analysis.ml -------------------------------------------------------------------------------- /lib/frontend/Analysis.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Analysis.mli -------------------------------------------------------------------------------- /lib/frontend/Build_latex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Build_latex.ml -------------------------------------------------------------------------------- /lib/frontend/Build_latex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Build_latex.mli -------------------------------------------------------------------------------- /lib/frontend/Config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Config.ml -------------------------------------------------------------------------------- /lib/frontend/Config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Config.mli -------------------------------------------------------------------------------- /lib/frontend/Forest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Forest.ml -------------------------------------------------------------------------------- /lib/frontend/Forest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Forest.mli -------------------------------------------------------------------------------- /lib/frontend/Grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Grammar.mly -------------------------------------------------------------------------------- /lib/frontend/LaTeX_queue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/LaTeX_queue.ml -------------------------------------------------------------------------------- /lib/frontend/LaTeX_queue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/LaTeX_queue.mli -------------------------------------------------------------------------------- /lib/frontend/LaTeX_template.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/LaTeX_template.ml -------------------------------------------------------------------------------- /lib/frontend/LaTeX_template.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/LaTeX_template.mli -------------------------------------------------------------------------------- /lib/frontend/Lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Lexer.mll -------------------------------------------------------------------------------- /lib/frontend/Parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Parse.ml -------------------------------------------------------------------------------- /lib/frontend/Parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/Parse.mli -------------------------------------------------------------------------------- /lib/frontend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/frontend/dune -------------------------------------------------------------------------------- /lib/prelude/Compare.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/Compare.ml -------------------------------------------------------------------------------- /lib/prelude/Date.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/Date.ml -------------------------------------------------------------------------------- /lib/prelude/Date.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/Date.mli -------------------------------------------------------------------------------- /lib/prelude/Eio_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/Eio_util.ml -------------------------------------------------------------------------------- /lib/prelude/Printer_kit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/Printer_kit.ml -------------------------------------------------------------------------------- /lib/prelude/String_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/String_util.ml -------------------------------------------------------------------------------- /lib/prelude/String_util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/String_util.mli -------------------------------------------------------------------------------- /lib/prelude/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/prelude/dune -------------------------------------------------------------------------------- /lib/render/Dream_forester.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Dream_forester.ml -------------------------------------------------------------------------------- /lib/render/Dream_forester.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Dream_forester.mli -------------------------------------------------------------------------------- /lib/render/Dream_html_lite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Dream_html_lite.ml -------------------------------------------------------------------------------- /lib/render/Dream_html_lite.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Dream_html_lite.mli -------------------------------------------------------------------------------- /lib/render/Render_TeX_like.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_TeX_like.ml -------------------------------------------------------------------------------- /lib/render/Render_TeX_like.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_TeX_like.mli -------------------------------------------------------------------------------- /lib/render/Render_dream.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_dream.ml -------------------------------------------------------------------------------- /lib/render/Render_effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_effect.ml -------------------------------------------------------------------------------- /lib/render/Render_effect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_effect.mli -------------------------------------------------------------------------------- /lib/render/Render_json.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_json.ml -------------------------------------------------------------------------------- /lib/render/Render_json.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_json.mli -------------------------------------------------------------------------------- /lib/render/Render_text.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_text.ml -------------------------------------------------------------------------------- /lib/render/Render_text.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_text.mli -------------------------------------------------------------------------------- /lib/render/Render_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/Render_util.ml -------------------------------------------------------------------------------- /lib/render/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/lib/render/dune -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/test/dune -------------------------------------------------------------------------------- /test/parse.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/test/parse.expected -------------------------------------------------------------------------------- /test/parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/ocaml-forester/HEAD/test/parse.ml --------------------------------------------------------------------------------