Complete (most of) the background.

I am missing some examples and citations.

1 files changed, 9 insertions, 0 deletions

diff --git a/thesis.bib b/thesis.bib
index ef2797f..0222b9c 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -158,3 +158,12 @@ abstract="A description of the techniques employed at Oxford University to obtai
 isbn="978-3-540-47721-1",
 doi = {10.1007/3-540-47721-7_24}
 }
+
+@online{agda.readthedocs.io,
+author = "Agda",
+title = "Agda's Documentation",
+date = "2021-12-08T07:15:24+00:00",
+url = "https://agda.readthedocs.io/en/v2.6.2.1/",
+version = "59c7944b",
+urldate = "2022-05-18T16:39:44+01:00"
+}