diff --git a/examples/.gitignore b/example/.gitignore
similarity index 100%
rename from examples/.gitignore
rename to example/.gitignore
diff --git a/examples/Cargo.toml b/example/Cargo.toml
similarity index 100%
rename from examples/Cargo.toml
rename to example/Cargo.toml
diff --git a/examples/codegen.rs b/example/codegen.rs
similarity index 100%
rename from examples/codegen.rs
rename to example/codegen.rs
diff --git a/examples/main.rs b/example/main.rs
similarity index 100%
rename from examples/main.rs
rename to example/main.rs
diff --git a/examples/matmul.fut b/example/matmul.fut
similarity index 100%
rename from examples/matmul.fut
rename to example/matmul.fut
diff --git a/examples/user.c b/example/user.c
similarity index 100%
rename from examples/user.c
rename to example/user.c