Apply suggestions from code review

Co-authored-by: Frédéric Dupuis <31101893+dupuisf@users.noreply.github.com>
dupuisf · Nov 16, 2024 · 14f7bdc · 14f7bdc
1 parent acf137b
commit 14f7bdc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/BibtexQuery/Format.lean b/BibtexQuery/Format.lean
@@ -274,6 +274,7 @@ def formatEprint : Option (Array Content) := do
       |>.getD "arXiv"
   let eprintlist : Array (Array String × String × String) := #[
     (#["arxiv"], "https://arxiv.org/abs/", "arXiv:"),
+    (#["iacr"], "https://eprint.iacr.org/", "IACR:"),
     (#["pmcid", "pmc"], "https://www.ncbi.nlm.nih.gov/pmc/articles/", "PMCID:")
   ]
   let checkEprint : Array String × String × String → Option (Array Content) :=