style: changed src to creates

Browse Source

...

This commit is contained in:

felipegchi 2022-11-22 09:57:54 -03:00

parent c91d6a09e8

commit b727dc3308

91 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0

src/kind-checker/Cargo.toml → crates/kind-checker/Cargo.toml

Unescape Escape View File

0

src/kind-checker/src/checker.hvm → crates/kind-checker/src/checker.hvm

Unescape Escape View File

0

src/kind-checker/src/compiler/mod.rs → crates/kind-checker/src/compiler/mod.rs

Unescape Escape View File

0

src/kind-checker/src/compiler/tags.rs → crates/kind-checker/src/compiler/tags.rs

Unescape Escape View File

0

src/kind-checker/src/errors.rs → crates/kind-checker/src/errors.rs

Unescape Escape View File

0

src/kind-checker/src/lib.rs → crates/kind-checker/src/lib.rs

Unescape Escape View File

0

src/kind-checker/src/report.rs → crates/kind-checker/src/report.rs

Unescape Escape View File

0

src/kind-cli/Cargo.toml → crates/kind-cli/Cargo.toml

Unescape Escape View File

0

src/kind-cli/src/lib.rs → crates/kind-cli/src/lib.rs

Unescape Escape View File

0

src/kind-cli/src/main.rs → crates/kind-cli/src/main.rs

Unescape Escape View File

0

src/kind-cli/tests/mod.rs → crates/kind-cli/tests/mod.rs

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/Eq.golden → crates/kind-cli/tests/suite/checker/derive/Eq.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/Eq.kind2 → crates/kind-cli/tests/suite/checker/derive/Eq.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/Nat.golden → crates/kind-cli/tests/suite/checker/derive/Nat.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/Nat.kind2 → crates/kind-cli/tests/suite/checker/derive/Nat.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/User.golden → crates/kind-cli/tests/suite/checker/derive/User.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/User.kind2 → crates/kind-cli/tests/suite/checker/derive/User.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/Vec.golden → crates/kind-cli/tests/suite/checker/derive/Vec.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/Vec.kind2 → crates/kind-cli/tests/suite/checker/derive/Vec.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.golden → crates/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.kind2 → crates/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/fail/Repeated.golden → crates/kind-cli/tests/suite/checker/derive/fail/Repeated.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/fail/Repeated.kind2 → crates/kind-cli/tests/suite/checker/derive/fail/Repeated.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.golden → crates/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.kind2 → crates/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.kind2

Unescape Escape View File

0

src/kind-cli/tests/suite/eval/User.golden → crates/kind-cli/tests/suite/eval/User.golden

Unescape Escape View File

0

src/kind-cli/tests/suite/eval/User.kind2 → crates/kind-cli/tests/suite/eval/User.kind2

Unescape Escape View File

0

src/kind-derive/Cargo.toml → crates/kind-derive/Cargo.toml

Unescape Escape View File

0

src/kind-derive/src/errors.rs → crates/kind-derive/src/errors.rs

Unescape Escape View File

0

src/kind-derive/src/lib.rs → crates/kind-derive/src/lib.rs

Unescape Escape View File

0

src/kind-derive/src/matching.rs → crates/kind-derive/src/matching.rs

Unescape Escape View File

0

src/kind-derive/src/open.rs → crates/kind-derive/src/open.rs

Unescape Escape View File

0

src/kind-derive/src/record.rs → crates/kind-derive/src/record.rs

Unescape Escape View File

0

src/kind-derive/src/subst.rs → crates/kind-derive/src/subst.rs

Unescape Escape View File

0

src/kind-driver/Cargo.toml → crates/kind-driver/Cargo.toml

Unescape Escape View File

0

src/kind-driver/src/errors.rs → crates/kind-driver/src/errors.rs

Unescape Escape View File

0

src/kind-driver/src/lib.rs → crates/kind-driver/src/lib.rs

Unescape Escape View File

0

src/kind-driver/src/resolution.rs → crates/kind-driver/src/resolution.rs

Unescape Escape View File

0

src/kind-driver/src/session.rs → crates/kind-driver/src/session.rs

Unescape Escape View File

0

src/kind-parser/Cargo.toml → crates/kind-parser/Cargo.toml

Unescape Escape View File

0

src/kind-parser/src/errors.rs → crates/kind-parser/src/errors.rs

Unescape Escape View File

0

src/kind-parser/src/expr.rs → crates/kind-parser/src/expr.rs

Unescape Escape View File

0

src/kind-parser/src/lexer/comments.rs → crates/kind-parser/src/lexer/comments.rs

Unescape Escape View File

0

src/kind-parser/src/lexer/literals.rs → crates/kind-parser/src/lexer/literals.rs

Unescape Escape View File

0

src/kind-parser/src/lexer/mod.rs → crates/kind-parser/src/lexer/mod.rs

Unescape Escape View File

0

src/kind-parser/src/lexer/state.rs → crates/kind-parser/src/lexer/state.rs

Unescape Escape View File

0

src/kind-parser/src/lexer/tokens.rs → crates/kind-parser/src/lexer/tokens.rs

Unescape Escape View File

0

src/kind-parser/src/lib.rs → crates/kind-parser/src/lib.rs

Unescape Escape View File

0

src/kind-parser/src/macros.rs → crates/kind-parser/src/macros.rs

Unescape Escape View File

0

src/kind-parser/src/pat.rs → crates/kind-parser/src/pat.rs

Unescape Escape View File

0

src/kind-parser/src/state.rs → crates/kind-parser/src/state.rs

Unescape Escape View File

0

src/kind-parser/src/top_level/attributes.rs → crates/kind-parser/src/top_level/attributes.rs

Unescape Escape View File

0

src/kind-parser/src/top_level/mod.rs → crates/kind-parser/src/top_level/mod.rs

Unescape Escape View File

0

src/kind-parser/src/top_level/type_decl.rs → crates/kind-parser/src/top_level/type_decl.rs

Unescape Escape View File

0

src/kind-pass/Cargo.toml → crates/kind-pass/Cargo.toml

Unescape Escape View File

0

src/kind-pass/src/desugar/app.rs → crates/kind-pass/src/desugar/app.rs

Unescape Escape View File

0

src/kind-pass/src/desugar/attributes.rs → crates/kind-pass/src/desugar/attributes.rs

Unescape Escape View File

0

src/kind-pass/src/desugar/destruct.rs → crates/kind-pass/src/desugar/destruct.rs

Unescape Escape View File

0

src/kind-pass/src/desugar/expr.rs → crates/kind-pass/src/desugar/expr.rs

Unescape Escape View File

0

src/kind-pass/src/desugar/mod.rs → crates/kind-pass/src/desugar/mod.rs

Unescape Escape View File

0

src/kind-pass/src/desugar/top_level.rs → crates/kind-pass/src/desugar/top_level.rs

Unescape Escape View File

0

src/kind-pass/src/erasure/mod.rs → crates/kind-pass/src/erasure/mod.rs

Unescape Escape View File

0

src/kind-pass/src/errors.rs → crates/kind-pass/src/errors.rs

Unescape Escape View File

0

src/kind-pass/src/expand/mod.rs → crates/kind-pass/src/expand/mod.rs

Unescape Escape View File

0

src/kind-pass/src/expand/uses.rs → crates/kind-pass/src/expand/uses.rs

Unescape Escape View File

0

src/kind-pass/src/lib.rs → crates/kind-pass/src/lib.rs

Unescape Escape View File

0

src/kind-pass/src/unbound/mod.rs → crates/kind-pass/src/unbound/mod.rs

Unescape Escape View File

0

src/kind-query/Cargo.toml → crates/kind-query/Cargo.toml

Unescape Escape View File

0

src/kind-query/src/errors.rs → crates/kind-query/src/errors.rs

Unescape Escape View File

0

src/kind-query/src/graph.rs → crates/kind-query/src/graph.rs

Unescape Escape View File

0

src/kind-query/src/lib.rs → crates/kind-query/src/lib.rs

Unescape Escape View File

0

src/kind-query/src/names.rs → crates/kind-query/src/names.rs

Unescape Escape View File

0

src/kind-report/Cargo.toml → crates/kind-report/Cargo.toml

Unescape Escape View File

0

src/kind-report/src/data.rs → crates/kind-report/src/data.rs

Unescape Escape View File

0

src/kind-report/src/lib.rs → crates/kind-report/src/lib.rs

Unescape Escape View File

0

src/kind-report/src/report.rs → crates/kind-report/src/report.rs

Unescape Escape View File

0

src/kind-span/Cargo.toml → crates/kind-span/Cargo.toml

Unescape Escape View File

0

src/kind-span/src/lib.rs → crates/kind-span/src/lib.rs

Unescape Escape View File

0

src/kind-target-hvm/Cargo.toml → crates/kind-target-hvm/Cargo.toml

Unescape Escape View File

0

src/kind-target-hvm/src/lib.rs → crates/kind-target-hvm/src/lib.rs

Unescape Escape View File

0

src/kind-target-kdl/Cargo.toml → crates/kind-target-kdl/Cargo.toml

Unescape Escape View File

0

src/kind-target-kdl/src/lib.rs → crates/kind-target-kdl/src/lib.rs

Unescape Escape View File

0

src/kind-tree/Cargo.toml → crates/kind-tree/Cargo.toml

Unescape Escape View File

0

src/kind-tree/README.md → crates/kind-tree/README.md

Unescape Escape View File

0

src/kind-tree/src/concrete/expr.rs → crates/kind-tree/src/concrete/expr.rs

Unescape Escape View File

0

src/kind-tree/src/concrete/mod.rs → crates/kind-tree/src/concrete/mod.rs

Unescape Escape View File

0

src/kind-tree/src/concrete/pat.rs → crates/kind-tree/src/concrete/pat.rs

Unescape Escape View File

0

src/kind-tree/src/concrete/visitor.rs → crates/kind-tree/src/concrete/visitor.rs

Unescape Escape View File

0

src/kind-tree/src/desugared/mod.rs → crates/kind-tree/src/desugared/mod.rs

Unescape Escape View File

0

src/kind-tree/src/lib.rs → crates/kind-tree/src/lib.rs

Unescape Escape View File

0

src/kind-tree/src/symbol.rs → crates/kind-tree/src/symbol.rs

Unescape Escape View File