Agda

Implementing Categorical Notions of Partiality and Delay in Agda
My bachelor’s thesis in computer science. Advisor: Sergey Goncharov
03/21/24
Thesis Slides HTML Repo