egraphs-good
diff --git a/‎linear-algebra-compiler/.gitignore‎ ‎…study-linear-algebra-compiler/.gitignore‎linear-algebra-compiler/.gitignore renamed to case-study-linear-algebra-compiler/.gitignore b/‎linear-algebra-compiler/.gitignore‎ ‎…study-linear-algebra-compiler/.gitignore‎linear-algebra-compiler/.gitignore renamed to case-study-linear-algebra-compiler/.gitignore
diff --git a/‎linear-algebra-compiler/Cargo.lock‎ ‎…study-linear-algebra-compiler/Cargo.lock‎linear-algebra-compiler/Cargo.lock renamed to case-study-linear-algebra-compiler/Cargo.lock b/‎linear-algebra-compiler/Cargo.lock‎ ‎…study-linear-algebra-compiler/Cargo.lock‎linear-algebra-compiler/Cargo.lock renamed to case-study-linear-algebra-compiler/Cargo.lock
diff --git a/‎linear-algebra-compiler/Cargo.toml‎ ‎…study-linear-algebra-compiler/Cargo.toml‎linear-algebra-compiler/Cargo.toml renamed to case-study-linear-algebra-compiler/Cargo.toml b/‎linear-algebra-compiler/Cargo.toml‎ ‎…study-linear-algebra-compiler/Cargo.toml‎linear-algebra-compiler/Cargo.toml renamed to case-study-linear-algebra-compiler/Cargo.toml
diff --git a/‎linear-algebra-compiler/build.rs‎ ‎…e-study-linear-algebra-compiler/build.rs‎linear-algebra-compiler/build.rs renamed to case-study-linear-algebra-compiler/build.rs b/‎linear-algebra-compiler/build.rs‎ ‎…e-study-linear-algebra-compiler/build.rs‎linear-algebra-compiler/build.rs renamed to case-study-linear-algebra-compiler/build.rs
diff --git a/‎linear-algebra-compiler/examples/deep.la‎ ‎…linear-algebra-compiler/examples/deep.la‎linear-algebra-compiler/examples/deep.la renamed to case-study-linear-algebra-compiler/examples/deep.la b/‎linear-algebra-compiler/examples/deep.la‎ ‎…linear-algebra-compiler/examples/deep.la‎linear-algebra-compiler/examples/deep.la renamed to case-study-linear-algebra-compiler/examples/deep.la
diff --git a/‎…ebra-compiler/examples/deep.la.optimized‎ ‎…ebra-compiler/examples/deep.la.optimized‎linear-algebra-compiler/examples/deep.la.optimized renamed to case-study-linear-algebra-compiler/examples/deep.la.optimized b/‎…ebra-compiler/examples/deep.la.optimized‎ ‎…ebra-compiler/examples/deep.la.optimized‎linear-algebra-compiler/examples/deep.la.optimized renamed to case-study-linear-algebra-compiler/examples/deep.la.optimized
diff --git a/‎linear-algebra-compiler/examples/test.la‎ ‎…linear-algebra-compiler/examples/test.la‎linear-algebra-compiler/examples/test.la renamed to case-study-linear-algebra-compiler/examples/test.la b/‎linear-algebra-compiler/examples/test.la‎ ‎…linear-algebra-compiler/examples/test.la‎linear-algebra-compiler/examples/test.la renamed to case-study-linear-algebra-compiler/examples/test.la
diff --git a/‎…ebra-compiler/examples/test.la.optimized‎ ‎…ebra-compiler/examples/test.la.optimized‎linear-algebra-compiler/examples/test.la.optimized renamed to case-study-linear-algebra-compiler/examples/test.la.optimized b/‎…ebra-compiler/examples/test.la.optimized‎ ‎…ebra-compiler/examples/test.la.optimized‎linear-algebra-compiler/examples/test.la.optimized renamed to case-study-linear-algebra-compiler/examples/test.la.optimized
diff --git a/‎…lgebra-compiler/examples/test_variant.la‎ ‎…lgebra-compiler/examples/test_variant.la‎linear-algebra-compiler/examples/test_variant.la renamed to case-study-linear-algebra-compiler/examples/test_variant.la b/‎…lgebra-compiler/examples/test_variant.la‎ ‎…lgebra-compiler/examples/test_variant.la‎linear-algebra-compiler/examples/test_variant.la renamed to case-study-linear-algebra-compiler/examples/test_variant.la
diff --git a/‎…piler/examples/test_variant.la.optimized‎ ‎…piler/examples/test_variant.la.optimized‎linear-algebra-compiler/examples/test_variant.la.optimized renamed to case-study-linear-algebra-compiler/examples/test_variant.la.optimized b/‎…piler/examples/test_variant.la.optimized‎ ‎…piler/examples/test_variant.la.optimized‎linear-algebra-compiler/examples/test_variant.la.optimized renamed to case-study-linear-algebra-compiler/examples/test_variant.la.optimized