├── .github ├── FUNDING.yml └── workflows │ ├── ocaml.yml │ └── odoc.yml ├── .gitignore ├── LICENSE ├── README.md ├── basis ├── Basis.ml ├── Basis.mli ├── Bwd.ml ├── Bwd.mli ├── Error.ml ├── Error.mli ├── Monad.ml ├── Monad.mli ├── Pp.ml ├── Pp.mli ├── PpExn.ml ├── PpExn.mli ├── Reader.ml ├── Reader.mli ├── Symbol.ml ├── Symbol.mli ├── SymbolMap.ml ├── SymbolMap.mli └── dune ├── bin ├── dune └── main.ml ├── core ├── Core.ml ├── Core.mli ├── Effect.ml ├── Effect.mli ├── EffectOps.ml ├── Env.ml ├── Env.mli ├── Equate.ml ├── Equate.mli ├── Eval.ml ├── Eval.mli ├── Logic.ml ├── Logic.mli ├── Refiner.ml ├── Syntax.ml └── dune ├── dreamtt.opam ├── dune ├── dune-project ├── frontend ├── Code.ml ├── Distiller.ml ├── Elaborator.ml ├── Frontend.ml ├── Frontend.mli └── dune ├── index.mld └── test └── runtests.sh /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/workflows/ocaml.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/.github/workflows/ocaml.yml -------------------------------------------------------------------------------- /.github/workflows/odoc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/.github/workflows/odoc.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.merlin* 3 | *.DS_Store 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/README.md -------------------------------------------------------------------------------- /basis/Basis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Basis.ml -------------------------------------------------------------------------------- /basis/Basis.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Basis.mli -------------------------------------------------------------------------------- /basis/Bwd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Bwd.ml -------------------------------------------------------------------------------- /basis/Bwd.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Bwd.mli -------------------------------------------------------------------------------- /basis/Error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Error.ml -------------------------------------------------------------------------------- /basis/Error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Error.mli -------------------------------------------------------------------------------- /basis/Monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Monad.ml -------------------------------------------------------------------------------- /basis/Monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Monad.mli -------------------------------------------------------------------------------- /basis/Pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Pp.ml -------------------------------------------------------------------------------- /basis/Pp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Pp.mli -------------------------------------------------------------------------------- /basis/PpExn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/PpExn.ml -------------------------------------------------------------------------------- /basis/PpExn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/PpExn.mli -------------------------------------------------------------------------------- /basis/Reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Reader.ml -------------------------------------------------------------------------------- /basis/Reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Reader.mli -------------------------------------------------------------------------------- /basis/Symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Symbol.ml -------------------------------------------------------------------------------- /basis/Symbol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/Symbol.mli -------------------------------------------------------------------------------- /basis/SymbolMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/SymbolMap.ml -------------------------------------------------------------------------------- /basis/SymbolMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/SymbolMap.mli -------------------------------------------------------------------------------- /basis/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/basis/dune -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/main.ml: -------------------------------------------------------------------------------- 1 | let () = 2 | print_endline "Hello, world" 3 | -------------------------------------------------------------------------------- /core/Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Core.ml -------------------------------------------------------------------------------- /core/Core.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Core.mli -------------------------------------------------------------------------------- /core/Effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Effect.ml -------------------------------------------------------------------------------- /core/Effect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Effect.mli -------------------------------------------------------------------------------- /core/EffectOps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/EffectOps.ml -------------------------------------------------------------------------------- /core/Env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Env.ml -------------------------------------------------------------------------------- /core/Env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Env.mli -------------------------------------------------------------------------------- /core/Equate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Equate.ml -------------------------------------------------------------------------------- /core/Equate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Equate.mli -------------------------------------------------------------------------------- /core/Eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Eval.ml -------------------------------------------------------------------------------- /core/Eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Eval.mli -------------------------------------------------------------------------------- /core/Logic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Logic.ml -------------------------------------------------------------------------------- /core/Logic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Logic.mli -------------------------------------------------------------------------------- /core/Refiner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Refiner.ml -------------------------------------------------------------------------------- /core/Syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/Syntax.ml -------------------------------------------------------------------------------- /core/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/core/dune -------------------------------------------------------------------------------- /dreamtt.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/dreamtt.opam -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- 1 | (documentation (package dreamtt)) 2 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.7) 2 | -------------------------------------------------------------------------------- /frontend/Code.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/frontend/Code.ml -------------------------------------------------------------------------------- /frontend/Distiller.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/frontend/Distiller.ml -------------------------------------------------------------------------------- /frontend/Elaborator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/frontend/Elaborator.ml -------------------------------------------------------------------------------- /frontend/Frontend.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/frontend/Frontend.ml -------------------------------------------------------------------------------- /frontend/Frontend.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/frontend/Frontend.mli -------------------------------------------------------------------------------- /frontend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/frontend/dune -------------------------------------------------------------------------------- /index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/index.mld -------------------------------------------------------------------------------- /test/runtests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonsterling/dreamtt/HEAD/test/runtests.sh --------------------------------------------------------------------------------