# 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.
