From 6d254586e118b8cce13ba0a8c9ce47bc6ef967c4 Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Sat, 16 Mar 2024 10:09:31 +0100 Subject: [PATCH] minor --- agda/src/index.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/agda/src/index.lagda.md b/agda/src/index.lagda.md index 4a37487..9dce832 100644 --- a/agda/src/index.lagda.md +++ b/agda/src/index.lagda.md @@ -14,7 +14,7 @@ open import Everything For my bachelor thesis I am implementing categorical notions of partiality in agda using the *agda-categories* library. The repo for this project can be found [here](https://git8.cs.fau.de/theses/bsc-leon-vatthauer). -This is an implementation of this paper by Sergey Goncharov: [arxiv](https://arxiv.org/abs/2102.11828) +This project mostly formalizes notions introduced in this paper by Sergey Goncharov [arxiv](https://arxiv.org/abs/2102.11828), as well as a small case study using setoids. ## Index