one more try

tinelli · tinelli · commit c5cff7072edf · 2025-04-13T22:10:44.000-05:00
diff --git a/_bibliography/papers.bib b/_bibliography/papers.bib
@@ -157,8 +157,6 @@ @inproceedings{HubersM23
                   Programming, ICFP'23, Seattle, WA, {USA} - September 5 - 8,
                   2023},
 	url = {https://doi.org/10.1145/3607843},
-	doi = {10.1145/3607843},
-	keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types}
 }
 
 @inproceedings{AbreuDHJMS23,
@@ -199,7 +197,6 @@ @inproceedings{DBLP:conf/cade/BarbosaRKLNNOPV22
   publisher    = {Springer},
   year         = {2022},
   url          = {https://doi.org/10.1007/978-3-031-10769-6\_3},
-  doi          = {10.1007/978-3-031-10769-6\_3},
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -157,8 +157,6 @@ @inproceedings{HubersM23`
`157`	`157`	`Programming, ICFP'23, Seattle, WA, {USA} - September 5 - 8,`
`158`	`158`	`2023},`
`159`	`159`	`url = {https://doi.org/10.1145/3607843},`
`160`		`- doi = {10.1145/3607843},`
`161`		`- keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types}`
`162`	`160`	`}`
`163`	`161`
`164`	`162`	`@inproceedings{AbreuDHJMS23,`
`@@ -199,7 +197,6 @@ @inproceedings{DBLP:conf/cade/BarbosaRKLNNOPV22`
`199`	`197`	`publisher = {Springer},`
`200`	`198`	`year = {2022},`
`201`	`199`	`url = {https://doi.org/10.1007/978-3-031-10769-6\_3},`
`202`		`- doi = {10.1007/978-3-031-10769-6\_3},`
`203`	`200`	`}`
`204`	`201`
`205`	`202`