29 lines
790 B
Markdown
29 lines
790 B
Markdown
|
---
|
||
|
|
title: Implementing Categorical Notions of Partiality and Delay in Agda
|
||
|
|
summary: An example of using the in-built project page.
|
||
|
|
tags:
|
||
|
|
- Bachelor Thesis
|
||
|
|
- Agda
|
||
|
|
- Partiality
|
||
|
|
- Category Theory
|
||
|
|
- Programming Languages
|
||
|
|
date: '2016-04-27T00:00:00Z'
|
||
|
|
|
||
|
|
# Optional external URL for project (replaces project detail page).
|
||
|
|
external_link: 'https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main'
|
||
|
|
|
||
|
|
links:
|
||
|
|
- name: Thesis
|
||
|
|
url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis.pdf
|
||
|
|
- name: Slides
|
||
|
|
url: https://wwwcip.cs.fau.de/~hy84coky/bsc-slides.pdf
|
||
|
|
- name: HTML
|
||
|
|
url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis/
|
||
|
|
- name: Repo
|
||
|
|
url: https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main
|
||
|
|
url_code: ''
|
||
|
|
url_pdf: ''
|
||
|
|
url_slides: ''
|
||
|
|
url_video: ''
|
||
|
|
---
|