From 4527250aee1d1d4655e84f0583d04410b7c53642 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 22 Jan 2024 11:51:56 +0000
Subject: Advent of proof submissions.

Completed all problems save 12, where I had to postulate two lemma.
---
 Everything.agda | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 Everything.agda

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
new file mode 100644
index 0000000..477429a
--- /dev/null
+++ b/Everything.agda
@@ -0,0 +1,26 @@
+module Everything where
+
+import Problem1
+import Problem10
+import Problem11
+import Problem12
+import Problem13
+import Problem14
+import Problem15
+import Problem16
+import Problem17
+import Problem18
+import Problem19
+import Problem2
+import Problem20
+import Problem21
+import Problem22
+import Problem23
+import Problem24
+import Problem3
+import Problem4
+import Problem5
+import Problem6
+import Problem7
+import Problem8
+import Problem9
-- 
cgit v1.2.3