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.

---
 cat-theory.agda-lib | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 cat-theory.agda-lib

(limited to 'cat-theory.agda-lib')

diff --git a/cat-theory.agda-lib b/cat-theory.agda-lib
new file mode 100644
index 0000000..7fab3f0
--- /dev/null
+++ b/cat-theory.agda-lib
@@ -0,0 +1,5 @@
+depend:
+  agda-categories
+  standard-library-1.7
+include:
+  src
-- 
cgit v1.2.3