diff --git a/content/project/ba/featured.png b/content/project/ba/featured.png new file mode 100644 index 0000000..2d6f1c2 Binary files /dev/null and b/content/project/ba/featured.png differ diff --git a/content/project/ba/index.md b/content/project/ba/index.md index d76fe73..7ce11fc 100644 --- a/content/project/ba/index.md +++ b/content/project/ba/index.md @@ -1,6 +1,6 @@ --- title: Implementing Categorical Notions of Partiality and Delay in Agda -summary: An example of using the in-built project page. +summary: "My bachelor's thesis in computer science. Advisor: Sergey Goncharov" tags: - Bachelor Thesis - Agda @@ -13,13 +13,21 @@ date: '2016-04-27T00:00:00Z' external_link: 'https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main' links: - - name: Thesis + - icon: file + icon_pack: fas + name: Thesis url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis.pdf - - name: Slides + - icon: file + icon_pack: fas + name: Slides url: https://wwwcip.cs.fau.de/~hy84coky/bsc-slides.pdf - - name: HTML + - icon: file + icon_pack: fas + name: HTML url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis/ - - name: Repo + - icon: git-alt + icon_pack: fab + name: Repo url: https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main url_code: '' url_pdf: ''