diff --git a/LICENSE.md b/website/LICENSE.md
similarity index 100%
rename from LICENSE.md
rename to website/LICENSE.md
diff --git a/academic.Rproj b/website/academic.Rproj
similarity index 100%
rename from academic.Rproj
rename to website/academic.Rproj
diff --git a/assets/media/albums/.gitkeep b/website/assets/media/albums/.gitkeep
similarity index 100%
rename from assets/media/albums/.gitkeep
rename to website/assets/media/albums/.gitkeep
diff --git a/assets/media/icon.png b/website/assets/media/icon.png
similarity index 100%
rename from assets/media/icon.png
rename to website/assets/media/icon.png
diff --git a/assets/media/icon_old.svg b/website/assets/media/icon_old.svg
similarity index 100%
rename from assets/media/icon_old.svg
rename to website/assets/media/icon_old.svg
diff --git a/assets/media/icons/agda.svg b/website/assets/media/icons/agda.svg
similarity index 100%
rename from assets/media/icons/agda.svg
rename to website/assets/media/icons/agda.svg
diff --git a/assets/media/icons/brands/fau.svg b/website/assets/media/icons/brands/fau.svg
similarity index 100%
rename from assets/media/icons/brands/fau.svg
rename to website/assets/media/icons/brands/fau.svg
diff --git a/assets/media/icons/brands/leicester.svg b/website/assets/media/icons/brands/leicester.svg
similarity index 100%
rename from assets/media/icons/brands/leicester.svg
rename to website/assets/media/icons/brands/leicester.svg
diff --git a/assets/media/icons/coq.svg b/website/assets/media/icons/coq.svg
similarity index 100%
rename from assets/media/icons/coq.svg
rename to website/assets/media/icons/coq.svg
diff --git a/assets/media/icons/haskell.svg b/website/assets/media/icons/haskell.svg
similarity index 100%
rename from assets/media/icons/haskell.svg
rename to website/assets/media/icons/haskell.svg
diff --git a/config/_default/hugo.yaml b/website/config/_default/hugo.yaml
similarity index 100%
rename from config/_default/hugo.yaml
rename to website/config/_default/hugo.yaml
diff --git a/config/_default/languages.yaml b/website/config/_default/languages.yaml
similarity index 100%
rename from config/_default/languages.yaml
rename to website/config/_default/languages.yaml
diff --git a/config/_default/menus.yaml b/website/config/_default/menus.yaml
similarity index 100%
rename from config/_default/menus.yaml
rename to website/config/_default/menus.yaml
diff --git a/config/_default/module.yaml b/website/config/_default/module.yaml
similarity index 100%
rename from config/_default/module.yaml
rename to website/config/_default/module.yaml
diff --git a/config/_default/params.yaml b/website/config/_default/params.yaml
similarity index 100%
rename from config/_default/params.yaml
rename to website/config/_default/params.yaml
diff --git a/content/_index.md b/website/content/_index.md
similarity index 100%
rename from content/_index.md
rename to website/content/_index.md
diff --git a/content/authors/_index.md b/website/content/authors/_index.md
similarity index 100%
rename from content/authors/_index.md
rename to website/content/authors/_index.md
diff --git a/content/authors/admin/_index.md b/website/content/authors/admin/_index.md
similarity index 100%
rename from content/authors/admin/_index.md
rename to website/content/authors/admin/_index.md
diff --git a/content/authors/admin/avatar.jpg b/website/content/authors/admin/avatar.jpg
similarity index 100%
rename from content/authors/admin/avatar.jpg
rename to website/content/authors/admin/avatar.jpg
diff --git a/content/projects/algprog/index.md b/website/content/projects/algprog/index.md
similarity index 100%
rename from content/projects/algprog/index.md
rename to website/content/projects/algprog/index.md
diff --git a/content/projects/ba/index.md b/website/content/projects/ba/index.md
similarity index 100%
rename from content/projects/ba/index.md
rename to website/content/projects/ba/index.md
diff --git a/content/projects/lambda/index.md b/website/content/projects/lambda/index.md
similarity index 100%
rename from content/projects/lambda/index.md
rename to website/content/projects/lambda/index.md
diff --git a/content/projects/nixos/index.md b/website/content/projects/nixos/index.md
similarity index 100%
rename from content/projects/nixos/index.md
rename to website/content/projects/nixos/index.md
diff --git a/content/projects/pcf/index.md b/website/content/projects/pcf/index.md
similarity index 100%
rename from content/projects/pcf/index.md
rename to website/content/projects/pcf/index.md
diff --git a/content/projects/resolution/index.md b/website/content/projects/resolution/index.md
similarity index 100%
rename from content/projects/resolution/index.md
rename to website/content/projects/resolution/index.md
diff --git a/data/fonts/.gitkeep b/website/data/fonts/.gitkeep
similarity index 100%
rename from data/fonts/.gitkeep
rename to website/data/fonts/.gitkeep
diff --git a/data/page_sharer.toml b/website/data/page_sharer.toml
similarity index 100%
rename from data/page_sharer.toml
rename to website/data/page_sharer.toml
diff --git a/data/themes/.gitkeep b/website/data/themes/.gitkeep
similarity index 100%
rename from data/themes/.gitkeep
rename to website/data/themes/.gitkeep
diff --git a/go.mod b/website/go.mod
similarity index 100%
rename from go.mod
rename to website/go.mod
diff --git a/netlify.toml b/website/netlify.toml
similarity index 100%
rename from netlify.toml
rename to website/netlify.toml
diff --git a/theme.toml b/website/theme.toml
similarity index 100%
rename from theme.toml
rename to website/theme.toml