capitalisation of 'Agda'

paper/paper.bib

@@ -1,6 +1,6 @@
 @mastersthesis{ivardeBruin2023,
   author = {de Bruin, Ivar},
-  title = {Improving Agda's module system},
+  title = {Improving {Agda}'s module system},
   institution = {Delft University of Technology},
   year = 2023,
   url = {https://resolver.tudelft.nl/uuid:98b8fbf5-33f0-4470-88b0-39a9d526b115},
@@ -33,7 +33,7 @@ @article{DBLP:journals/jfp/VezzosiMA21
   author       = {Andrea Vezzosi and
                   Anders M{\"{o}}rtberg and
                   Andreas Abel},
-  title        = {Cubical Agda: {A} dependently typed programming language with univalence
+  title        = {Cubical {Agda}: {A} dependently typed programming language with univalence
                   and higher inductive types},
   journal      = {J. Funct. Program.},
   volume       = {31},
@@ -47,7 +47,7 @@ @article{DBLP:journals/jfp/VezzosiMA21
 }
 
 @inproceedings{norell2009dependently,
-  title={Dependently typed programming in Agda},
+  title={Dependently typed programming in {Agda}},
   author={Norell, Ulf},
   booktitle={Proceedings of the 4th international workshop on Types in language design and implementation},
   pages={1--2},
@@ -56,7 +56,7 @@ @inproceedings{norell2009dependently
 
 @inproceedings{hu2021categories,
   author = {Hu, Jason Z. S. and Carette, Jacques},
-  title = {Formalizing Category Theory in Agda},
+  title = {Formalizing Category Theory in {Agda}},
   year = {2021},
   isbn = {9781450382991},
   publisher = {Association for Computing Machinery},