diff --git a/assets/media/icon.png b/assets/media/icon.png new file mode 100644 index 0000000..1793eb4 Binary files /dev/null and b/assets/media/icon.png differ diff --git a/assets/media/icon.svg b/assets/media/icon_old.svg similarity index 100% rename from assets/media/icon.svg rename to assets/media/icon_old.svg diff --git a/content/_index.md b/content/_index.md index bba1e33..091b60e 100644 --- a/content/_index.md +++ b/content/_index.md @@ -27,7 +27,7 @@ sections: text: |- You can reach me by mail or via Discord. # Contact (add or remove contact options as necessary) - email: leon.vatthauer _at_ fau.de + email: leon.vatthauer@fau.de contact_links: - icon: discord icon_pack: fab diff --git a/content/authors/admin/_index.md b/content/authors/admin/_index.md index 2a9ebc0..a98e9ae 100644 --- a/content/authors/admin/_index.md +++ b/content/authors/admin/_index.md @@ -28,7 +28,7 @@ bio: '' # Interests to show in About widget interests: - - Programming Language Semantics + - Programming Languages - Functional Programming - Proof Assistants - Type Theories