Change repos and update picture

Author: ahubers

_bibliography/papers.bib

@@ -84,13 +84,13 @@ @inproceedings{AbreuDHJMS23
 	year = 2023,
 	doi = {10.1145/3571196},
 	url = {https://doi.org/10.1145/3571196},
-        preview={coq.png}
+        preview={chicken.jpg}
 }
 
-@inproceedings{AbreuBCDHJMS23,
+@inproceedings{AbreuBCDHJMS25,
 	author = {Pedro Abreu and Sage Binder and Anthony Cantor Benjamin Delaware and Alex Hubers and Christa
                   Jenkins and J. Garrett Morris and Aaron Stump},
-	title = {A Type-Based Approach to Divide-and-Conquer Recursion in Coq},
+	title = {A Type-Based Approach to Divide-and-Conquer Recursion},
 	booktitle = {Journal of Functional Programming},
 	year = 2025,
 	doi = {},

_data/repositories.yml

@@ -2,7 +2,6 @@ github_users:
   - ahubers
 
 artifacts:
-  - iaFP/ROmega-ICFP23-artifact/
+  - IowaFP/ROmega-ICFP23-artifact/
   - astump/dc-recursion-examples/
-  - iaFP/HM-in-Agda/
-  - iaFP/ghc/
+  - iowaFP/ghc/