├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── examples └── mathematics │ ├── main.lx │ └── vector │ ├── module.lx │ └── vector.lx ├── media ├── lexica-transparent.png └── lexica.png ├── rust-toolchain └── src ├── basic ├── basic.rs ├── branch.rs ├── conditional.rs ├── context.rs ├── expression.rs ├── function.rs ├── item.rs ├── mod.rs ├── node.rs ├── pattern.rs └── statement.rs ├── context.rs ├── declaration ├── block.rs ├── construct.rs ├── context.rs ├── declaration.rs ├── inclusion.rs ├── mod.rs ├── parser.rs └── path.rs ├── error ├── display.rs ├── error.rs └── mod.rs ├── evaluation ├── binding.rs ├── context.rs ├── evaluation.rs ├── item.rs ├── mod.rs ├── mutation.rs ├── partial.rs └── value.rs ├── extension ├── indent.rs ├── mod.rs ├── string.rs └── traverse.rs ├── inference ├── engine.rs ├── environment.rs ├── expression.rs ├── function.rs ├── inference.rs ├── mod.rs └── pattern.rs ├── interface ├── command.rs ├── function.rs ├── interface.rs └── mod.rs ├── intrinsic.rs ├── lexer ├── indent_lexer.rs ├── lexer.rs ├── lexer_tokenize.rs ├── mod.rs ├── source_split.rs ├── space_lexer.rs └── token.rs ├── main.rs ├── node ├── context.rs ├── definition.rs ├── expression.rs ├── function.rs ├── mod.rs ├── node.rs ├── resolution.rs ├── shadow.rs ├── structure.rs └── variable.rs ├── parser ├── conditional.rs ├── expression.rs ├── function.rs ├── mod.rs ├── parser.rs ├── structure.rs └── value.rs ├── source.rs └── span.rs /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | **/*.rs.bk 3 | .idea/ 4 | .DS_Store 5 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/README.md -------------------------------------------------------------------------------- /examples/mathematics/main.lx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/examples/mathematics/main.lx -------------------------------------------------------------------------------- /examples/mathematics/vector/module.lx: -------------------------------------------------------------------------------- 1 | export module vector 2 | -------------------------------------------------------------------------------- /examples/mathematics/vector/vector.lx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/examples/mathematics/vector/vector.lx -------------------------------------------------------------------------------- /media/lexica-transparent.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/media/lexica-transparent.png -------------------------------------------------------------------------------- /media/lexica.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/media/lexica.png -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly -------------------------------------------------------------------------------- /src/basic/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/basic.rs -------------------------------------------------------------------------------- /src/basic/branch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/branch.rs -------------------------------------------------------------------------------- /src/basic/conditional.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/conditional.rs -------------------------------------------------------------------------------- /src/basic/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/context.rs -------------------------------------------------------------------------------- /src/basic/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/expression.rs -------------------------------------------------------------------------------- /src/basic/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/function.rs -------------------------------------------------------------------------------- /src/basic/item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/item.rs -------------------------------------------------------------------------------- /src/basic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/mod.rs -------------------------------------------------------------------------------- /src/basic/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/node.rs -------------------------------------------------------------------------------- /src/basic/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/pattern.rs -------------------------------------------------------------------------------- /src/basic/statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/basic/statement.rs -------------------------------------------------------------------------------- /src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/context.rs -------------------------------------------------------------------------------- /src/declaration/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/block.rs -------------------------------------------------------------------------------- /src/declaration/construct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/construct.rs -------------------------------------------------------------------------------- /src/declaration/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/context.rs -------------------------------------------------------------------------------- /src/declaration/declaration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/declaration.rs -------------------------------------------------------------------------------- /src/declaration/inclusion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/inclusion.rs -------------------------------------------------------------------------------- /src/declaration/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/mod.rs -------------------------------------------------------------------------------- /src/declaration/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/parser.rs -------------------------------------------------------------------------------- /src/declaration/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/declaration/path.rs -------------------------------------------------------------------------------- /src/error/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/error/display.rs -------------------------------------------------------------------------------- /src/error/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/error/error.rs -------------------------------------------------------------------------------- /src/error/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/error/mod.rs -------------------------------------------------------------------------------- /src/evaluation/binding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/binding.rs -------------------------------------------------------------------------------- /src/evaluation/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/context.rs -------------------------------------------------------------------------------- /src/evaluation/evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/evaluation.rs -------------------------------------------------------------------------------- /src/evaluation/item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/item.rs -------------------------------------------------------------------------------- /src/evaluation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/mod.rs -------------------------------------------------------------------------------- /src/evaluation/mutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/mutation.rs -------------------------------------------------------------------------------- /src/evaluation/partial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/partial.rs -------------------------------------------------------------------------------- /src/evaluation/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/evaluation/value.rs -------------------------------------------------------------------------------- /src/extension/indent.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/extension/indent.rs -------------------------------------------------------------------------------- /src/extension/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/extension/mod.rs -------------------------------------------------------------------------------- /src/extension/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/extension/string.rs -------------------------------------------------------------------------------- /src/extension/traverse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/extension/traverse.rs -------------------------------------------------------------------------------- /src/inference/engine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/engine.rs -------------------------------------------------------------------------------- /src/inference/environment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/environment.rs -------------------------------------------------------------------------------- /src/inference/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/expression.rs -------------------------------------------------------------------------------- /src/inference/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/function.rs -------------------------------------------------------------------------------- /src/inference/inference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/inference.rs -------------------------------------------------------------------------------- /src/inference/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/mod.rs -------------------------------------------------------------------------------- /src/inference/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/inference/pattern.rs -------------------------------------------------------------------------------- /src/interface/command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/interface/command.rs -------------------------------------------------------------------------------- /src/interface/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/interface/function.rs -------------------------------------------------------------------------------- /src/interface/interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/interface/interface.rs -------------------------------------------------------------------------------- /src/interface/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/interface/mod.rs -------------------------------------------------------------------------------- /src/intrinsic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/intrinsic.rs -------------------------------------------------------------------------------- /src/lexer/indent_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/indent_lexer.rs -------------------------------------------------------------------------------- /src/lexer/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/lexer.rs -------------------------------------------------------------------------------- /src/lexer/lexer_tokenize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/lexer_tokenize.rs -------------------------------------------------------------------------------- /src/lexer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/mod.rs -------------------------------------------------------------------------------- /src/lexer/source_split.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/source_split.rs -------------------------------------------------------------------------------- /src/lexer/space_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/space_lexer.rs -------------------------------------------------------------------------------- /src/lexer/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/lexer/token.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/node/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/context.rs -------------------------------------------------------------------------------- /src/node/definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/definition.rs -------------------------------------------------------------------------------- /src/node/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/expression.rs -------------------------------------------------------------------------------- /src/node/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/function.rs -------------------------------------------------------------------------------- /src/node/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/mod.rs -------------------------------------------------------------------------------- /src/node/node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/node.rs -------------------------------------------------------------------------------- /src/node/resolution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/resolution.rs -------------------------------------------------------------------------------- /src/node/shadow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/shadow.rs -------------------------------------------------------------------------------- /src/node/structure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/structure.rs -------------------------------------------------------------------------------- /src/node/variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/node/variable.rs -------------------------------------------------------------------------------- /src/parser/conditional.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/conditional.rs -------------------------------------------------------------------------------- /src/parser/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/expression.rs -------------------------------------------------------------------------------- /src/parser/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/function.rs -------------------------------------------------------------------------------- /src/parser/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/mod.rs -------------------------------------------------------------------------------- /src/parser/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/parser.rs -------------------------------------------------------------------------------- /src/parser/structure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/structure.rs -------------------------------------------------------------------------------- /src/parser/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/parser/value.rs -------------------------------------------------------------------------------- /src/source.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/source.rs -------------------------------------------------------------------------------- /src/span.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Techno-coder/lexica/HEAD/src/span.rs --------------------------------------------------------------------------------