From 2274ded1a3c1a48643a4c810f50018cdf1aca599 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Wed, 18 May 2022 17:43:01 +0100
Subject: Complete (most of) the background.

I am missing some examples and citations.
---
 thesis.bib | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'thesis.bib')

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"
+}
-- 
cgit v1.2.3