From 2f7bde3049ca472a95f7f8484c9b8304fefc976e Mon Sep 17 00:00:00 2001 From: jamesmckinna Date: Tue, 17 Sep 2024 13:14:25 +0100 Subject: [PATCH] capitalisation of 'Agda' --- paper/paper.bib | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/paper/paper.bib b/paper/paper.bib index 767518f52d..4292048ff3 100644 --- a/paper/paper.bib +++ b/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},