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