Fix missing meta-data lines

agda · Dec 5, 2023 · e196fa9 · e196fa9
1 parent c76f56e
commit e196fa9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/paper/paper.md b/paper/paper.md
@@ -29,6 +29,7 @@ affiliations:
    index: 3
 date: 13 August 2017
 bibliography: paper.bib
+---
 
 # Summary