diff --git a/Idris/.gitignore b/projects/Idris/.gitignore
similarity index 100%
rename from Idris/.gitignore
rename to projects/Idris/.gitignore
diff --git a/Idris/Idris.ipkg b/projects/Idris/Idris.ipkg
similarity index 100%
rename from Idris/Idris.ipkg
rename to projects/Idris/Idris.ipkg
diff --git a/Idris/pack.toml b/projects/Idris/pack.toml
similarity index 100%
rename from Idris/pack.toml
rename to projects/Idris/pack.toml
diff --git a/Idris/src/Idris.idr b/projects/Idris/src/Idris.idr
similarity index 100%
rename from Idris/src/Idris.idr
rename to projects/Idris/src/Idris.idr
diff --git a/Idris/src/Posts/HelloWorld.md b/projects/Idris/src/Posts/HelloWorld.md
similarity index 100%
rename from Idris/src/Posts/HelloWorld.md
rename to projects/Idris/src/Posts/HelloWorld.md