gitextract_2gsoytl5/

├── .envrc
├── .gitignore
├── .ocamlformat
├── LICENSE
├── README.md
├── design/
│   ├── GOALS.md
│   ├── INFERENCE.md
│   ├── LANGUAGE.md
│   ├── MODULE.md
│   └── SYNTAX.md
├── dune-project
├── flake.nix
├── jsend/
│   ├── dune
│   ├── emit.ml
│   ├── emit.mli
│   ├── jprinter.ml
│   ├── jprinter.mli
│   ├── jtree.ml
│   ├── jtree.mli
│   ├── test.ml
│   ├── untype.ml
│   ├── untype.mli
│   ├── utree.ml
│   ├── utree.mli
│   ├── var.ml
│   └── var.mli
├── nix/
│   ├── default.nix
│   └── shell.nix
├── smol/
│   ├── HACKING.md
│   ├── dune
│   ├── index.ml
│   ├── index.mli
│   ├── level.ml
│   ├── level.mli
│   ├── stree.ml
│   ├── stree.mli
│   ├── styper.ml
│   ├── test.ml
│   └── test.mli
├── syntax/
│   ├── clexer.ml
│   ├── clexer.mli
│   ├── cparser.mly
│   ├── ctree.ml
│   ├── ctree.mli
│   ├── dune
│   └── test.ml
├── teika/
│   ├── dune
│   ├── solve.ml
│   ├── solve.mli
│   ├── terror.ml
│   ├── terror.mli
│   ├── test.ml
│   ├── test.mli
│   ├── tprinter.ml
│   ├── tprinter.mli
│   ├── ttree.ml
│   ├── ttree.mli
│   ├── typer.ml
│   └── typer.mli
├── teikalsp/
│   ├── dune
│   ├── lsp_channel.ml
│   ├── lsp_channel.mli
│   ├── lsp_context.ml
│   ├── lsp_context.mli
│   ├── lsp_error.ml
│   ├── lsp_error.mli
│   ├── lsp_notification.ml
│   ├── lsp_notification.mli
│   ├── lsp_request.ml
│   ├── lsp_request.mli
│   ├── lsp_text_document.ml
│   ├── lsp_text_document.mli
│   ├── teikalsp.ml
│   └── teikalsp.mli
├── teikavsc/
│   ├── main.ts
│   ├── package.json
│   └── tsconfig.json
└── utils/
    ├── dune
    ├── utils.ml
    └── utils.mli