From 34b3cf760e2e56542092c0da587cd43c4fa90939 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 5 Jan 2022 14:53:26 +0000
Subject: Initial commit.

---
 Everything.agda | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Everything.agda

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
new file mode 100644
index 0000000..1f5b65a
--- /dev/null
+++ b/Everything.agda
@@ -0,0 +1 @@
+module Everything where
-- 
cgit v1.2.3