├── .gitignore ├── LICENSE ├── README.md ├── create-local-switch.sh ├── dune ├── dune-project ├── melitte.opam ├── src ├── Core.ml ├── Core.mli ├── DeBruijn.ml ├── DeBruijn.mli ├── Elaborator.ml ├── Elaborator.mli ├── Error.ml ├── ExtPrint.ml ├── Lex.ml ├── Monad.ml ├── Monad.mli ├── Name.ml ├── Name.mli ├── Options.ml ├── Parse.mly ├── Position.ml ├── Position.mli ├── Raw.ml ├── Raw.mli ├── Semantics.ml ├── Semantics.mli ├── Sigs.ml ├── UnicodeSigil.ml ├── UnicodeSigil.mli ├── UniverseLevel.ml ├── UniverseLevel.mli ├── Var.ml ├── Var.mli ├── dune └── melitte.ml └── tests ├── dune └── simple.t ├── run.t ├── simple.melitte ├── t1.melitte ├── t2.melitte ├── t3.melitte ├── t4.melitte └── t5.melitte /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/README.md -------------------------------------------------------------------------------- /create-local-switch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/create-local-switch.sh -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/dune-project -------------------------------------------------------------------------------- /melitte.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/melitte.opam -------------------------------------------------------------------------------- /src/Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Core.ml -------------------------------------------------------------------------------- /src/Core.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Core.mli -------------------------------------------------------------------------------- /src/DeBruijn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/DeBruijn.ml -------------------------------------------------------------------------------- /src/DeBruijn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/DeBruijn.mli -------------------------------------------------------------------------------- /src/Elaborator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Elaborator.ml -------------------------------------------------------------------------------- /src/Elaborator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Elaborator.mli -------------------------------------------------------------------------------- /src/Error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Error.ml -------------------------------------------------------------------------------- /src/ExtPrint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/ExtPrint.ml -------------------------------------------------------------------------------- /src/Lex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Lex.ml -------------------------------------------------------------------------------- /src/Monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Monad.ml -------------------------------------------------------------------------------- /src/Monad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Monad.mli -------------------------------------------------------------------------------- /src/Name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Name.ml -------------------------------------------------------------------------------- /src/Name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Name.mli -------------------------------------------------------------------------------- /src/Options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Options.ml -------------------------------------------------------------------------------- /src/Parse.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Parse.mly -------------------------------------------------------------------------------- /src/Position.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Position.ml -------------------------------------------------------------------------------- /src/Position.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Position.mli -------------------------------------------------------------------------------- /src/Raw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Raw.ml -------------------------------------------------------------------------------- /src/Raw.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Raw.mli -------------------------------------------------------------------------------- /src/Semantics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Semantics.ml -------------------------------------------------------------------------------- /src/Semantics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Semantics.mli -------------------------------------------------------------------------------- /src/Sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/Sigs.ml -------------------------------------------------------------------------------- /src/UnicodeSigil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/UnicodeSigil.ml -------------------------------------------------------------------------------- /src/UnicodeSigil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/UnicodeSigil.mli -------------------------------------------------------------------------------- /src/UniverseLevel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/UniverseLevel.ml -------------------------------------------------------------------------------- /src/UniverseLevel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/UniverseLevel.mli -------------------------------------------------------------------------------- /src/Var.ml: -------------------------------------------------------------------------------- 1 | module M = Symbol.Make() 2 | include M 3 | -------------------------------------------------------------------------------- /src/Var.mli: -------------------------------------------------------------------------------- 1 | include Symbol.S 2 | -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/dune -------------------------------------------------------------------------------- /src/melitte.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/src/melitte.ml -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- 1 | (cram 2 | (deps %{bin:melitte})) 3 | -------------------------------------------------------------------------------- /tests/simple.t/run.t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/run.t -------------------------------------------------------------------------------- /tests/simple.t/simple.melitte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/simple.melitte -------------------------------------------------------------------------------- /tests/simple.t/t1.melitte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/t1.melitte -------------------------------------------------------------------------------- /tests/simple.t/t2.melitte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/t2.melitte -------------------------------------------------------------------------------- /tests/simple.t/t3.melitte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/t3.melitte -------------------------------------------------------------------------------- /tests/simple.t/t4.melitte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/t4.melitte -------------------------------------------------------------------------------- /tests/simple.t/t5.melitte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/adrieng/melitte/HEAD/tests/simple.t/t5.melitte --------------------------------------------------------------------------------