From efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:23:04 +0100
Subject: Initial version

---
 src/Setoid.idr | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/Setoid.idr

(limited to 'src/Setoid.idr')

diff --git a/src/Setoid.idr b/src/Setoid.idr
new file mode 100644
index 0000000..12c0a7d
--- /dev/null
+++ b/src/Setoid.idr
@@ -0,0 +1 @@
+module Setoid
-- 
cgit v1.2.3