From 0725d1630c90322f6f4557583ebd12de111bcafe Mon Sep 17 00:00:00 2001
From: VojtechStep <vojtechstepancik@outlook.com>
Date: Fri, 15 Mar 2024 18:00:46 +0100
Subject: [PATCH] Add bibliography to the list of formalized papers

---
 src/papers.lagda.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/papers.lagda.md b/src/papers.lagda.md
index 94654734a6b..f7c92b1c2e9 100644
--- 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