rename examples -> example

Erk- · Jan 28, 2023 · 324acdf · 324acdf
1 parent 0c8ca80
commit 324acdf
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 0 deletions.
diff --git a/examples/.gitignore → example/.gitignore b/examples/.gitignore → example/.gitignore
diff --git a/examples/Cargo.toml → example/Cargo.toml b/examples/Cargo.toml → example/Cargo.toml
diff --git a/examples/codegen.rs → example/codegen.rs b/examples/codegen.rs → example/codegen.rs
diff --git a/examples/main.rs → example/main.rs b/examples/main.rs → example/main.rs
diff --git a/examples/matmul.fut → example/matmul.fut b/examples/matmul.fut → example/matmul.fut
diff --git a/examples/user.c → example/user.c b/examples/user.c → example/user.c