Add bibliography to the list of formalized papers

UniMath · Mar 15, 2024 · 0725d16 · 0725d16
1 parent cfc9c6f
commit 0725d16
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/papers.lagda.md b/src/papers.lagda.md
@@ -1,5 +1,11 @@
 # Formalizations of papers in the library
 
+## References
+
+{{#bibliography}} {{#reference SDR20}}
+
+## Files in the namespace
+
 ```agda
 module papers where