added citation and URLs for v2.0

agda · Sep 5, 2024 · e1c7b31 · e1c7b31
1 parent 4ed25ac
commit e1c7b31
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/paper/paper.bib b/paper/paper.bib
@@ -130,4 +130,11 @@ @misc{haskell2010
   editor ={Simon Marlow},
   year = {2010},
   howpublished = {\url{https://haskell.org/definition/haskell2010.pdf}}
+}
+
+@misc{agda-stdlib-v2.0,
+  title = {{The Agda standard library, version 2.0}},
+  year  = {2023},
+  url = {https://github.com/agda/agda-stdlib/tree/v2.0-release},
+  howpublished = {HTML-indexed sources also at: \url{https://agda.github.io/agda-stdlib/v2.0/}}
 }
diff --git a/paper/paper.md b/paper/paper.md
@@ -122,7 +122,7 @@ This part of the test suite is sparser, as this has not yet been a major priorit
 
 # Notable achievements in version 2.0
 
-We outline the state of version 2.0 of `agda-stdlib`, where we believe we have successfully addressed some of the significant design challenges present in versions 1.0-1.7. Key improvements include:
+We outline the state of `agda-stdlib` version 2.0 [@agda-stdlib-v2.0], where we believe we have successfully addressed some of the significant design challenges present in versions 1.0-1.7. Key improvements include:
 
 - Minimized Dependency Graphs: We have reduced the depth of dependency graphs within the library, ensuring that the most commonly used modules rely on fewer parts of the library. This change has resulted in significantly faster load times for users during interactive development.