├── .gitignore ├── .ocamlformat ├── LICENSE ├── README.md ├── TODO.txt ├── bin ├── Languages.ml ├── Main.ml └── dune ├── cafec.opam ├── code-of-conduct.md ├── dune-project ├── language ├── ideas.txt ├── ideas │ ├── basic_typesystem.cf │ ├── dst.cf │ └── traits.cf ├── misc │ ├── aoc-2018-1-1.cf │ └── aoc-2018-1-2.cf ├── scratch-yiddish.cf └── scratch.cf ├── lib ├── Cafec.ml ├── Cafec.mli ├── ast_interpreter │ ├── Cafec_Ast_interpreter.ml │ ├── Cafec_Ast_interpreter.mli │ ├── Types.ml │ └── dune ├── containers │ ├── Array.ml │ ├── Array.mli │ ├── Cafec_Containers.ml │ ├── Name.ml │ ├── Name.mli │ ├── Nfc_string.ml │ ├── Nfc_string.mli │ ├── Spanned.ml │ ├── Spanned.mli │ ├── String.ml │ ├── String.mli │ └── dune ├── dune ├── parse │ ├── Ast.ml │ ├── Ast.mli │ ├── Cafec_Parse.ml │ ├── Cafec_Parse.mli │ ├── Error.ml │ ├── Error.mli │ ├── Lang.ml │ ├── Lexer.ml │ ├── Lexer.mli │ ├── Token.ml │ ├── Token.mli │ ├── Type.ml │ ├── Type.mli │ ├── Types.ml │ └── dune └── typed_ast │ ├── Ast.ml │ ├── Ast.mli │ ├── Cafec_Typed_ast.ml │ ├── Cafec_Typed_ast.mli │ ├── Error_print.ml │ ├── Error_print.mli │ ├── Internal.ml │ ├── Type.ml │ ├── Type.mli │ ├── Types.ml │ └── dune └── test ├── Test.ml └── dune /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.install 3 | .merlin 4 | *.swp 5 | .opam 6 | .vscode 7 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/.ocamlformat -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/README.md -------------------------------------------------------------------------------- /TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/TODO.txt -------------------------------------------------------------------------------- /bin/Languages.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/bin/Languages.ml -------------------------------------------------------------------------------- /bin/Main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/bin/Main.ml -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/bin/dune -------------------------------------------------------------------------------- /cafec.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/cafec.opam -------------------------------------------------------------------------------- /code-of-conduct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/code-of-conduct.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/dune-project -------------------------------------------------------------------------------- /language/ideas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/ideas.txt -------------------------------------------------------------------------------- /language/ideas/basic_typesystem.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/ideas/basic_typesystem.cf -------------------------------------------------------------------------------- /language/ideas/dst.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/ideas/dst.cf -------------------------------------------------------------------------------- /language/ideas/traits.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/ideas/traits.cf -------------------------------------------------------------------------------- /language/misc/aoc-2018-1-1.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/misc/aoc-2018-1-1.cf -------------------------------------------------------------------------------- /language/misc/aoc-2018-1-2.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/misc/aoc-2018-1-2.cf -------------------------------------------------------------------------------- /language/scratch-yiddish.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/scratch-yiddish.cf -------------------------------------------------------------------------------- /language/scratch.cf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/language/scratch.cf -------------------------------------------------------------------------------- /lib/Cafec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/Cafec.ml -------------------------------------------------------------------------------- /lib/Cafec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/Cafec.mli -------------------------------------------------------------------------------- /lib/ast_interpreter/Cafec_Ast_interpreter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/ast_interpreter/Cafec_Ast_interpreter.ml -------------------------------------------------------------------------------- /lib/ast_interpreter/Cafec_Ast_interpreter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/ast_interpreter/Cafec_Ast_interpreter.mli -------------------------------------------------------------------------------- /lib/ast_interpreter/Types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/ast_interpreter/Types.ml -------------------------------------------------------------------------------- /lib/ast_interpreter/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/ast_interpreter/dune -------------------------------------------------------------------------------- /lib/containers/Array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Array.ml -------------------------------------------------------------------------------- /lib/containers/Array.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Array.mli -------------------------------------------------------------------------------- /lib/containers/Cafec_Containers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Cafec_Containers.ml -------------------------------------------------------------------------------- /lib/containers/Name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Name.ml -------------------------------------------------------------------------------- /lib/containers/Name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Name.mli -------------------------------------------------------------------------------- /lib/containers/Nfc_string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Nfc_string.ml -------------------------------------------------------------------------------- /lib/containers/Nfc_string.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Nfc_string.mli -------------------------------------------------------------------------------- /lib/containers/Spanned.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Spanned.ml -------------------------------------------------------------------------------- /lib/containers/Spanned.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/Spanned.mli -------------------------------------------------------------------------------- /lib/containers/String.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/String.ml -------------------------------------------------------------------------------- /lib/containers/String.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/String.mli -------------------------------------------------------------------------------- /lib/containers/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/containers/dune -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/parse/Ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Ast.ml -------------------------------------------------------------------------------- /lib/parse/Ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Ast.mli -------------------------------------------------------------------------------- /lib/parse/Cafec_Parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Cafec_Parse.ml -------------------------------------------------------------------------------- /lib/parse/Cafec_Parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Cafec_Parse.mli -------------------------------------------------------------------------------- /lib/parse/Error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Error.ml -------------------------------------------------------------------------------- /lib/parse/Error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Error.mli -------------------------------------------------------------------------------- /lib/parse/Lang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Lang.ml -------------------------------------------------------------------------------- /lib/parse/Lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Lexer.ml -------------------------------------------------------------------------------- /lib/parse/Lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Lexer.mli -------------------------------------------------------------------------------- /lib/parse/Token.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Token.ml -------------------------------------------------------------------------------- /lib/parse/Token.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Token.mli -------------------------------------------------------------------------------- /lib/parse/Type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Type.ml -------------------------------------------------------------------------------- /lib/parse/Type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Type.mli -------------------------------------------------------------------------------- /lib/parse/Types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/Types.ml -------------------------------------------------------------------------------- /lib/parse/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/parse/dune -------------------------------------------------------------------------------- /lib/typed_ast/Ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Ast.ml -------------------------------------------------------------------------------- /lib/typed_ast/Ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Ast.mli -------------------------------------------------------------------------------- /lib/typed_ast/Cafec_Typed_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Cafec_Typed_ast.ml -------------------------------------------------------------------------------- /lib/typed_ast/Cafec_Typed_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Cafec_Typed_ast.mli -------------------------------------------------------------------------------- /lib/typed_ast/Error_print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Error_print.ml -------------------------------------------------------------------------------- /lib/typed_ast/Error_print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Error_print.mli -------------------------------------------------------------------------------- /lib/typed_ast/Internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Internal.ml -------------------------------------------------------------------------------- /lib/typed_ast/Type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Type.ml -------------------------------------------------------------------------------- /lib/typed_ast/Type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Type.mli -------------------------------------------------------------------------------- /lib/typed_ast/Types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/Types.ml -------------------------------------------------------------------------------- /lib/typed_ast/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/lib/typed_ast/dune -------------------------------------------------------------------------------- /test/Test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/test/Test.ml -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/strega-nil/stregaml/HEAD/test/dune --------------------------------------------------------------------------------