---
# Leave the homepage title empty to use the site title
title: ''
date: 2024-04-06
type: landing

sections:
  - block: about.biography
    id: about
    content:
      title: Biography
      # Choose a user profile to display (a folder name within `content/authors/`)
      username: admin
  - block: skills
    content:
      title: Skills
      text: ''
      # Choose a user to display skills from (a folder name within `content/authors/`)
      username: admin
    design:
      columns: '1'
  - block: portfolio
    id: projects
    content:
      title: Projects
      filters:
        folders:
          - project
      # Default filter index (e.g. 0 corresponds to the first `filter_button` instance below).
      default_button_index: 0
      # Filter toolbar (optional).
      # Add or remove as many filters (`filter_button` instances) as you like.
      # To show all items, set `tag` to "*".
      # To filter by a specific tag, set `tag` to an existing tag name.
      # To remove the toolbar, delete the entire `filter_button` block.
      buttons:
        - name: All
          tag: '*'
        - name: Category Theory
          tag: Category Theory
        - name: Agda
          tag: Agda
        - name: Haskell
          tag: Haskell
        - name: Programming Languages
          tag: Programming Languages
    design:
      # Choose how many columns the section has. Valid values: '1' or '2'.
      columns: '1'
      view: showcase
      # For Showcase view, flip alternate rows?
      flip_alt_rows: false
  - block: contact
    id: contact
    content:
      title: Contact
      subtitle:
      text: |-
        You can reach me by mail or via Discord.
      # Contact (add or remove contact options as necessary)
      contact_links:
        - icon: envelope
          icon_pack: fas
          name: leon.vatthauer _at_ fau.de
          link: mailto:leon.vatthauer@fau.de
        - icon: discord
          icon_pack: fab
          name: Leon#4082
          link: 'https://discordapp.com/users/151796651139399680'
      # Automatically link email and phone or display as text?
      autolink: true
    design:
      columns: '2'
---