mirror of
https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git
synced 2024-05-31 07:28:34 +02:00
7 lines
No EOL
445 B
Markdown
7 lines
No EOL
445 B
Markdown
# Implementing Categorical Notions of Partiality and Delay in Agda
|
|
|
|
This repository contains the work I have done for my bachelor thesis.
|
|
|
|
The goal was to formalize proofs of this paper [https://arxiv.org/pdf/2102.11828.pdf](https://arxiv.org/pdf/2102.11828.pdf) in Agda and study categorical notions in general.
|
|
|
|
The subfolders contain my code, the thesis and the slides of my presentation, each with its own README documenting how to build it. |