From 40816eb17a621278958a420efcf59a43c160e828 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Sun, 21 Jan 2018 00:21:51 +0100
Subject: [PATCH] Dummy file to compile everything

---
 src/Cat.agda | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/Cat.agda

diff --git a/src/Cat.agda b/src/Cat.agda
new file mode 100644
index 0000000..6cb8e32
--- /dev/null
+++ b/src/Cat.agda
@@ -0,0 +1,12 @@
+module Cat where
+
+import Cat.Categories.Sets
+import Cat.Categories.Cat
+import Cat.Categories.Rel
+import Cat.Category.Pathy
+import Cat.Category.Bij
+import Cat.Category.Free
+import Cat.Category.Properties
+import Cat.Category
+import Cat.Cubical
+import Cat.Functor