Fix capitalisation in bibliography

agda · Dec 9, 2024 · a90731e · a90731e
1 parent 42c7203
commit a90731e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/paper/paper.bib b/paper/paper.bib
@@ -278,7 +278,7 @@ @misc{agda-stdlib-v2.0
 }
 
 @inproceedings{cohen2020hierarchy,
-  title={Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi},
+  title={Hierarchy Builder: algebraic hierarchies made easy in {Coq} with {Elpi}},
   author={Cohen, Cyril and Sakaguchi, Kazuhiko and Tassi, Enrico},
   booktitle={FSCD 2020-5th International Conference on Formal Structures for Computation and Deduction},
   number={167},
@@ -287,7 +287,7 @@ @inproceedings{cohen2020hierarchy
 }
 
 @article{devriese2011bright,
-  title={On the bright side of type classes: instance arguments in Agda},
+  title={On the bright side of type classes: instance arguments in {Agda}},
   author={Devriese, Dominique and Piessens, Frank},
   journal={ACM SIGPLAN Notices},
   volume={46},