Implementing Categorical Notions of Partiality and Delay in Agda 03/21/24 Go to Project Site Thesis Slides HTML Repo Bachelor Thesis Agda Partiality Category Theory Programming Languages Leon Vatthauer Student
