From b537d8e1bb0a06bc6e07b475eb32e726c2a115a6 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 5 Jul 2022 14:16:02 +0100
Subject: Define binary operations.

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

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
new file mode 100644
index 0000000..0127e7e
--- /dev/null
+++ b/Everything.agda
@@ -0,0 +1,4 @@
+{-# OPTIONS --without-K --safe #-}
+module Everything where
+
+import Data.BinOp
-- 
cgit v1.2.3